Su búsqueda retornó 3 resultados.

Resultados
	1.	No hay imagen de cubierta disponible Un sistema interactivo para la interpretación de especificaciones / Darío Garigliotti. por Garigliotti, Darío, 1988- Alonso i Alemany, Laura, 1977- [dir.] Detalles de publicación: [S.l. : s.n. ], 2014 Nota de disertación: Tesis (Licenciatura en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Acceso en línea: Acceso a Repositorio Digital UNC Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: Trabajo Especial Computación CAJA 17 - 22118. Agregar al carrito (remover)
	2.	Hybrid systems III : verification and control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag. por DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers university, New Jersey) Alur, Rajeev, 1966- [ed.,] Henzinger, Thomas A [ed.] Sontag, Eduardo D, 1951- [ed.] Series Lecture notes in computer science ; v. 1066 \| LNCS ; v. 1066 Detalles de publicación: Berlin : Springer, 1996 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1066 . Agregar al carrito (remover)
	3.	OOER'95 : object-oriented and entity-relationship modeling / ed. Michael P. Papazoglou. por International Conference on Object-oriented and Entity-relationship Modeling (14º : 1995 : Gold Coast, Australia) Papazoglou, Michael P, 1953- [ed.,] Series Lecture notes in computer science ; v. 1021 \| LNCS ; v. 1021 Detalles de publicación: Berlin : Springer, 1995 Disponibilidad: Ítems disponibles para préstamo: FaMAF (1)Signatura topográfica: C LNCS v. 1021 . Agregar al carrito (remover)

Nuestras Redes Sociales

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)