Concepts, algorithms and tools for model checking / (Registro nro. 11852)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 00876nam a22002417a 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 | 20160908123924.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 111129s1999 gw||||| |||| 00| 0 eng d |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR_CdUFM |
Centro/agencia transcriptor | AR_CdUFM |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
9 (RLIN) | 8689 |
Nombre de persona | Katoen, Joost-Pieter. |
245 10 - MENCIÓN DE TÍTULO | |
Título | Concepts, algorithms and tools for model checking / |
Mención de responsabilidad, etc. | Joost-Pieter Katoen. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Lugar de publicación, distribución, etc. | Erlangen : |
Nombre del editor, distribuidor, etc. | IMMD, |
Fecha de publicación, distribución, etc. | 1999. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 292 p. ; |
Dimensiones | 21 cm. |
490 0# - MENCIÓN DE SERIE | |
Mención de serie | Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, |
Número Internacional Normalizado para Publicaciones Seriadas | 0344-3515 ; |
Designación de volumen o secuencia | v. 32, no. 1 |
500 ## - NOTA GENERAL | |
Nota general | Lecture Notes of the Course Mechanised Validation of Parallel 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 | Specifying and verifying and reasoning about 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 | Logics. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Especificación. |
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. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Razonamiento sobre programas. |
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-11-29 |
Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Biblioteca de origen | Biblioteca actual | Ubicación en estantería | Fecha de adquisición | Fuente de adquisición | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Fecha del último préstamo | Precio válido a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Computing Classification Systems | FaMAF | FaMAF | Sección Computación | 09/06/2008 | Katoen Joost-Pieter | 4 | C F3.1 K19 | 17620 | 24/01/2023 | 12/07/2012 | 09/06/2008 | Libro |