Formal methods for industrial applications : (Registro nro. 8177)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 01506nam 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 20190408185031.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 080731s1996 gw|||||| || 00| 0 eng
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3540619291
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR_CdUFM
Centro/agencia transcriptor AR_CdUFM
245 00 - MENCIÓN DE TÍTULO
Título Formal methods for industrial applications :
Resto del título specifying and programming the steam boiler control /
Mención de responsabilidad, etc. edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.
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. 1996.
300 ## - DESCRIPCIÓN FÍSICA
Extensión vii, 509 p. :
Otras características físicas il. ;
Dimensiones 24 cm. +
Material acompañante/anejo 1 CD-ROM
490 ## - MENCIÓN DE SERIE
Mención de serie Lecture notes in computer science ;
Designación de volumen o secuencia v. 1165
Mención de serie LNCS ;
Designación de volumen o secuencia v. 1165
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programming 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 Programación-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 Sistemas distribuidos.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Distributed 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 Ingeniería de software.
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 engineering.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lenguajes de programación-Definiciones formales y teoría.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programming languages-Formal definitions and theory.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada 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 de entrada Programs-Specification.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada 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 de entrada Programs-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 Administración de sistemas de computación y de informació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 Management of computing and information systems.
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
9 (RLIN) 68
Nombre de persona Abrial, Jean-Raymond,
Fechas asociadas al nombre 1938-
Término indicativo de función/relación ed.
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
Nombre de persona Börger, Egon,
Fechas asociadas al nombre 1946-
Término indicativo de función/relación ed.
9 (RLIN) 1886
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL
9 (RLIN) 9621
Nombre de persona Langmaack, Hans,
Término indicativo de función/relación ed.
Fechas asociadas al nombre 1934-,
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA)
Tipo de ítem Koha Libro
Fuente del sistema de clasificación o colocación
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA)
Tipo de ítem Koha CD/DVD de datos
Fuente del sistema de clasificación o colocación
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC)
Codigo del Catalogador MCR
Fecha 2011-05-17
Existencias
Estado de retiro Estado de pérdida 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 Precio válido a partir de Tipo de ítem Koha Nota pública
        FaMAF FaMAF Sección Lecture Notes 09/06/2008 FOMEC/Comp.   C LNCS v. 1165 14962 23/08/2013 09/06/2008 Libro  
        FaMAF FaMAF Sección Lecture Notes 09/06/2008     C LNCS v. 1165 14962CD 23/08/2013 09/06/2008 CD/DVD de datos Solicitar el CD-ROM en SECCION PRESTAMO.


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)