CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Automated software testing : introduction, management and perfomance / Elfride Dustin, Jeff Rashka, John Paul.

by Dustin, Elfride | Rashka, Jeff | Paul, John, 1968-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Addison-Wesley, 1999Availability: Items available for loan: [Call number: C D2.5 D974 ] (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