CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
TEO : una herramienta para la optimización de la probabilidad de ejecución de casos de prueba en tiempo real / Gabriel Leonardo Miretti.

by Miretti, Gabriel Leonardo, 1982- | D'Argenio, Pedro Ruben, 1968- [dir.] | Wolovick, Nicolás, 1974- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2010Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MIR] (2).
Derivación de contraejemplos para Model Checking Cuantitativo / Miguel Eduardo Andrés.

by Andrés, Miguel Eduardo, 1980- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2006Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2006. Availability: Items available for loan: [Call number: TE C AND ej.2] (3). Items available for reference: [Call number: TE C AND] (1).

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

publicofamaf@gmail.com