Tools and algorithms for the construction and analysis of systems : (Registro nro. 22447)

000 -CABECERA
campo de control de longitud fija 01215Cam#a22002894a#4500
001 - NÚMERO DE CONTROL
campo de control 023807
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20160721160750.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 120607s2003||||gw a |#b #101 0#eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3540008985
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen DLC
Centro/agencia modificador DLC
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.1
Número de edición 21
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN
Nombre de congreso/reunión o jurisdicción como elemento de entrada TACAS 2003
Sede del congreso/Lugar de la reunión Warsaw, Poland)
Fecha del congreso/reunión (2003 :
245 02 - MENCIÓN DE TÍTULO
Título Tools and algorithms for the construction and analysis of systems :
Resto del título 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Mención de responsabilidad, etc. Hubert Garavel, John Hatcliff (eds.).
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. c2003.
300 ## - DESCRIPCIÓN FÍSICA
Extensión xvi, 604 p. :
Otras características físicas il. ;
Dimensiones 24 cm.
490 1# - MENCIÓN DE SERIE
Mención de serie Lecture notes in computer science,
500 ## - NOTA GENERAL
Nota general Incluye índice.
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Análisis de sistemas
Fuente del encabezamiento o término spines
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Algoritmo
Fuente del encabezamiento o término spines
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Cálculo (Matemáticas)
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Garavel, Hubert,
Fechas asociadas al nombre 1963-
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Hatcliff, John,
Fechas asociadas al nombre 1966-
711 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE REUNIÓN/CONGRESO
Nombre de congreso/reunión o jurisdicción como elemento de entrada ETAPS 2003
Sede del congreso/Lugar de la reunión Warsaw, Poland)
Fecha del congreso/reunión (2003 :
830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
Título uniforme Lecture notes in computer science (Springer). ;
Designación de volumen o secuencia 2619
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libros
Suprimir en OPAC Visualizar
Existencias
Estado de retiro Estado de pérdida Estado dañado No para préstamo Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de carga Signatura topográfica completa Código de barras Fecha visto por última vez Número de copia Tipo de ítem Koha
        Biblioteca Laura Manzo - Universidad Nacional de Quilmes Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA 2016-06-02 005.1 TAC 47696 2019-05-08 1 Libros
Biblioteca Laura Manzo. Universidad Nacional de Quilmes.
Roque Sáenz Peña 352 Bernal - B1876BXD - Bs. As.
Tel:+ 54 11 4365-7130. biblioteca@unq.edu.ar
Horario de Atención: Lunes a viernes de: 8:30 a 21:30 hs. Sábados de 8:15 a 15 hs.

Con tecnología Koha