|
|
|
|
| LEADER |
00836nab a2200217 a 4500 |
| 001 |
UNA01000292886 |
| 003 |
DLC |
| 005 |
20170201114939.0 |
| 008 |
160726s2016 caumr p r 0 1eng d |
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
|
| 082 |
0 |
4 |
|a H 621.381
|b C741c
|2 21
|
| 100 |
1 |
|
|a Schaffer, Kim,
|e autora
|
| 245 |
1 |
0 |
|a What happened to formal methods for security?
|h artículo de revista
|c / Kim Schaffer and Jeffrey Voas.
|
| 650 |
0 |
4 |
|a SISTEMAS DE ALMACENAMIENTO Y RECUPERACIÓN DE INFORMACIÓN
|
| 650 |
0 |
4 |
|a SEGURIDAD (INFORMATICA)
|
| 650 |
0 |
4 |
|a ALMACENAMIENTO DE INFORMACION
|
| 650 |
0 |
4 |
|a GESTIÓN DE LA INFORMACIÓN
|
| 650 |
0 |
4 |
|a CALIDAD
|
| 700 |
1 |
|
|a Voas, Feffrey,
|e autor
|
| 773 |
0 |
|
|t Computer. --
|g Volumen 49, número 8 (August 2016), páginas 70-76
|
| 852 |
|
|
|a Biblioteca Joaquín García Monge. Hemeroteca
|