Detalles MARC
000 -CABECERA |
campo de control de longitud fija |
01334nam a22003857a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
campo de control |
20160908123235.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
100811s1997 gw||||| |||| 00| 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
3540631666 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
AR_CdUFM |
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN |
Nombre de congreso/reunión o jurisdicción como elemento de entrada |
CAV (Conference) |
Número del congreso/reunión o número de parte o sección |
(9º : |
Fecha del congreso o de la firma del tratado |
1997 : |
Sede del congreso/Lugar de la reunión |
Haifa, Israel) |
245 10 - MENCIÓN DE TÍTULO |
Título |
Computer aided verification : |
Resto del título |
proceedindings / |
Mención de responsabilidad, etc. |
ed. Orna Grumberg. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
Berlin : |
Nombre del editor, distribuidor, etc. |
Springer, |
Fecha de publicación, distribución, etc. |
1997. |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
xi, 486 p. ; |
Dimensiones |
24 cm. |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
Lecture notes in computer science ; |
Designación de volumen o secuencia |
v. 1254 |
490 0# - MENCIÓN DE SERIE |
Mención de serie |
LNCS ; |
Designación de volumen o secuencia |
v. 1254 |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. |
Nota de bibliografía, etc. |
Incluye referencias bibliográficas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Lógica y significado de programas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Logics and meanings of programs. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Special-purpose and application-based systems. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Sistemas con propósito y aplicación especial. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Deducción y prueba de teoremas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Deduction and theorem proving. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Verificación de programas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Program verification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Software-Tools and Techniques. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Software-Herramientas y técnicas. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Lógica matemática. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Mathematical logic. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Design aids. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
Asistencia de diseños. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL |
9 (RLIN) |
6838 |
Nombre de persona |
Grumberg, Orna, |
Término indicativo de función/relación |
ed. |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) |
Tipo de ítem Koha |
Libro |
Fuente del sistema de clasificación o colocación |
|
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) |
Codigo del Catalogador |
MCR |
Fecha |
2011-05-09 |