CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Decision procedures : (Record no. 16151)

000 -CABECERA
Longitud fija campo de control 01338nam a22003977a 4500
001 - NÚMERO DE CONTROL
Número de control 15215443
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 20160908124547.0
008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA
Códigos de información de longitud fija 080311s2010 gw | 00| 0 eng
020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS
Número Internacional Normalizado para Libros (ISBN) 9783642093449
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen DLC
Centro transcriptor DLC
Centro modificado AR_CdUFM
100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA
9 (RLIN) 9341
Nombre de persona Kroening, Daniel.
245 10 - MENCIÓN DE TÍTULO
Título Decision procedures :
Resto del título an algorithmic point of view /
Mención de responsabilidad, etc. Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.
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. 2010.
300 ## - DESCRIPCIÓN FÍSICA
Extensión xvi, 304 p. :
Otras características físicas il. ;
Dimensiones 24 cm.
490 0# - MENCIÓN DE SERIE
Mención de serie Texts in theoretical computer science
490 0# - MENCIÓN DE SERIE
Mención de serie EATCS series
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Lógica matemática.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Lenguajes formales.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Asistencia de diseños.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Verificación de programas.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Estructura de datos.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Mathematical logic.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Formal languages.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Design aids.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Program verification.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Specifying and verifying.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial 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 inicial Testing and debugging.
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento inicial Data structures.
700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA
9 (RLIN) 16707
Nombre de persona Strichman, Ofer.
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-08-24
Holdings
Suprimido Perdido Fuente de clasificación o esquema Estropeado No para préstamo Localización permanente Localización actual Localización en estanter&íacute;as Fecha adquisición Fuente de adquisición Coste, precio normal de compra Préstamos totales Signatura completa Código de barras Fecha última consulta Fecha último préstamo Fecha del precio de reemplazo Tipo de item de Koha
          FaMAF FaMAF Sección Computación 2011-08-24 Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones 0.00 1 C F4.1 K93 21118 2013-12-05 2013-05-28 2011-08-24 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