El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario ,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
Fuentes de datos
Koha
Facultad de Ciencias Agropecuarias
Facultad de Ciencias Económicas
Facultad de Lenguas
Escuela de Nutrición (FCM)
Facultad de Arquitectura, Urbanismo y Diseño
Facultad de Artes
Facultad de Ciencias Exactas, Físicas y Naturales
Biblioteca Mayor
Observatorio Astronómico de Córdoba
Centros de Estudios Avanzados
Facultad de Matemáticas, Astronomía, Física y Computación
Facultad de Medicina
Facultad de Odontología
Facultad de Comunicación
Facultad de Filosofía y Humanidades y Facultad de Psicología
Escuela Superior de Comercio Manuel Belgrano
Colegio Nacional de Monserrat
Facultad de Ciencias Químicas
Facultad de Ciencias Sociales
Facultad de Derecho
José Aricó
Museo de Antropología
Escuela de Salud Pública y Ambiente de la FCM
Otros
MARC
LEADER
00000nam a22000007a 4500
001
15002677
003
AR_CdUFM
005
20170712140204.0
008
070911s2008 maua b 001 0 eng
020
|a 9780262026499
040
|a DLC
|c DLC
|d BTCTA
|d BAKER
|d YDXCP
|d UKM
|d C#P
|d DLC
100
1
|9 855
|a Baier, Christel
245
1
0
|a Principles of model checking /
|c Christel Baier, Joost-Pieter Katoen.
260
|a Cambridge, Mass. :
|b MIT,
|c 2008.
300
|a xvii, 975 p. :
|b il. ;
|c 26 cm.
500
|a La biblioteca posee 2 ej.
504
|a Incluye referencias bibliográficas (p. 931-964) e índice.
541
|a Importación de Publicaciones
|c Compra: Programa de Bibliotecas. Res. 591/09
|d 2010-09-15
|e 20652 ej.2
|h $292
|o Libro
650
4
|a Lógica y significado de programas.
650
4
|a Lógica de programas.
650
4
|a Significado de programas.
650
4
|a Verificacción de programas.
650
4
|a Logics and meanings of programs.
650
4
|a Logic of programs.
650
4
|a Meanings of programs.
650
4
|a Computer systems
|x Verification.
650
4
|a Computer software
|x Verification.
650
4
|a Verifying programs.
650
4
|a Model checking.
700
1
|9 8690
|a Katoen, Joost-Pieter,
|d 1964-
856
4
1
|3 Table of contents only
|u http://www.loc.gov/catdir/toc/ecip0727/2007037603.html
942
|c LIBRO
|2
945
|a MCR
|d 2010-06-18
952
|0 0
|1 0
|2 CCS
|4 0
|6 C_F3_B152
|7 0
|9 19690
|a MMA
|b MMA
|c 4
|d 2010-06-18
|e D'Argenio Pedro
|g 0.00
|l 20
|o C F3 B152
|p 20430
|r 2023-01-24 00:00:00
|s 2022-09-12
|w 2010-06-18
|y LIBRO
952
|0 0
|1 0
|2 CCS
|4 0
|6 C_F3_B152_EJ2
|7 0
|9 19906
|a MMA
|b MMA
|c 4
|d 2010-09-15
|e Programa de Bibliotecas Res. 591/09: Importación de Publicaciones
|g 0.00
|l 16
|o C F3 B152 ej.2
|p 20652
|r 2023-01-24 00:00:00
|s 2022-10-11
|w 2010-09-15
|y LIBRO
955
|a jf02 2007-09-11
|c jf02 2007-09-11
|a aa24 2007-09-11
|a ps10 2008-04-30 1 copy rec'd., to CIP ver.
|a ld11 2008-06-13 copy 2 added
999
|c 15448
|d 15447