Concepts, algorithms and tools for model checking / (Registro nro. 11852)

Detalles MARC
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
Existencias
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


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)