CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Formal techniques in real-time and fault-tolerant systems / (Record no. 8335)

000 -CABECERA
Longitud fija campo de control 01463nam a22003857a 4500
003 - IDENTIFICADOR DELl NÚMERO DE CONTROL
Identificador del número de control AR_CdUFM
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Fecha y hora de la última transacción 20160908123312.0
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 110517s1996 gw||||| |||| 00| 0 eng d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 3540616489
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen AR_CdUFM
Centro transcriptor AR_CdUFM
111 2# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE CONGRESO
Nombre de congreso o jurisdicción como elemento de entrada International Symposium on Formal Techniques in Rreal-Time and Fault-Tolerant Systems
Número del congreso o número de parte o sección de la obra (4º :
Fecha del congreso 1996 :
Sede del congreso Uppsala, Sweden)
245 10 - MENCIÓN DE TÍTULO
Título Formal techniques in real-time and fault-tolerant systems /
Mención de responsabilidad, etc. edited by Bengt Jonsson, Joachim Parrow.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. Berlin :
Nombre del editor, distribuidor, etc. Springer,
Fecha de publicación, distribución, etc. 1996.
300 ## - DESCRIPCIÓN FÍSICA
Extensión x, 478 p. :
Otras características físicas il. ;
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. 1135
490 0# - MENCIÓN DE SERIE
Mención de serie LNCS ;
Designación de volumen o secuencia v. 1135
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Lenguajes de programación.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programming languages.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Organización y diseño.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Organization and design.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programas-Especificación.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programs-Specification.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programas-Verificación.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Programs-Verification.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Procesadores-Arquitectura.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Processor Architectures.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Real-time systems.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Reliability, testing and fault tolerance-Memory.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Control structure reliability, testing and fault tolerance-Harware.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Reliability-Operating systems.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 8427
Nombre de persona Jonsson, Bengt,
Término indicativo de función ed.,
Fechas asociadas al nombre 1957-
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 13025
Nombre de persona Parrow, Joachim,
Término indicativo de función ed.,
Fechas asociadas al nombre 1956-
942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA)
Koha [por defecto] tipo de item Libro
Fuente de clasificaión o esquema
945 ## - TRATAMIENTO DE LA INFORMACIÓN LOCAL (OCLC)
a MCR
d 2011-05-17
Holdings
Suprimido Perdido Estropeado No para préstamo Localización permanente Localización actual Localización en estanter&íacute;as Fecha adquisición Fuente de adquisición Signatura completa Código de barras Fecha última consulta Fecha del precio de reemplazo Tipo de item de Koha
        FaMAF FaMAF Sección Lecture Notes 2008-06-09 FOMEC/Comp. C LNCS v. 1135 15151 2010-11-24 2008-06-09 Libro

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

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

publicofamaf@gmail.com