CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 16 results. Subscribe to this search

|
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software / Renzo Gastón Degiovanni.

by Degiovanni, Renzo Gastón, 1987- | Aguirre, Nazareno Matías, 1976- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2015. Online access: Acceso a Versión Digital | Acceso a RDU-UNC Availability: Items available for loan: [Call number: T C DEG] (1).
CLOUSEAU : verificación de propiedades de seguridad en protocolos distribuidos con probabilidades / Pedro Eduardo Waquim.

by Waquim, Pedro Eduardo, 1989- | D'Argenio, Pedro Ruben, 1968- [dir.] | Pelozo, Silvia [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2014Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C WAQ] (1).
Paralelización de algoritmos para verificación simbólica de modelos probabilísticos / Matías D. Tealdi.

by Tealdi, Matías Daniel, 1987- | D'Argenio, Pedro Ruben, 1968- [dir.] | Bederián, Carlos Sergio, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C TEA] (1).
Implementación del algoritmo Gauss-Seidel en CUDA para la verificación simbólica de modelos probabilísticos / Gastón Ingaramo.

by Ingaramo, Gastón, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital. Availability: Items available for loan: [Call number: TE C ING] (1).
Falluto 2.0 : Un Model Checker para la verificación automática de sistemas tolerantes a fallas / Raúl Enrique Monti.

by Monti, Raúl Enrique, 1988- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2013Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C MONf] (1).
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas / Nicolás Emilio Bordenabe.

by Bordenabe, Nicolás Emilio, 1986- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011. Online access: Acceso a Versión Digital Availability: Items available for loan: [Call number: TE C BORo ] (2).
Implementación de técnicas de derivación de contraejemplos en el model checker PRISM / Matías L. Marenchino.

by Marenchino, Matías Leandro, 1983- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2011Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2011. Online access: Acceso a Versión Digital. | RDU-UNC Availability: Items available for loan: [Call number: TE C MAR] (1).
Abstracción a estados esenciales en el Model Checker Probabilista PRISM / Nicolás H. Zandarin.

by Zandarin, Nicolás Hugo, 1981- | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2010Dissertation note: Tesis (Lic. en Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2010. Online access: Versión Digital Availability: Items available for loan: [Call number: TE C ZAN] (2).
Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / Byron Cook, Andreas Podelski (eds.).

by International conference,VMCAI 2007 (8th : 2007 : Nice, France) | Cook, Byron [ed.] | Podelski, Andreas [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Publisher description Availability: Items available for loan: [Call number: C LNCS v. 4349] (1).
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

by Grumberg, Orna | Veith, Helmut.

Material type: book Book; Format: print festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2008Availability: Items available for loan: [Call number: C F3 Y397] (1).
Model checking / Edmund M. Clarke, Jr., Orna Grumberg and Doron A. Peled.

by Clarke, Edmund M, 1945- | Grumberg, Orna | Peled, Doron A, 1962-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, c1999Availability: Items available for loan: [Call number: C F3 C597 ej.2] (2).
Principles of model checking / Christel Baier, Joost-Pieter Katoen.

by Baier, Christel | Katoen, Joost-Pieter, 1964-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT, 2008Online access: Table of contents only Availability: Items available for loan: [Call number: C F3 B152 ej.2] (2).
Reducción de orden parcial en model checking probabilista simbólico / Luis María Ferrer Fioriti.

by Ferrer Fioriti, Luis María, 1986- | D'Argenio, Pedro Ruben, 1968- [dir., ] | Giro, Sergio Sebastián, 1981- [co dir.].

Material type: book Book; Literary form: 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 FERr] (2).
FALLUTO : Un model checker para la verificación de sistemas tolerantes a fallas / Edgardo E. Hames.

by Hames, Edgardo E | D'Argenio, Pedro Ruben, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2009Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2009. Availability: Items available for loan: [Call number: TE C HAM] (3). Items available for reference: [Call number: TE C HAM] (1).
Model checking cuantitativo de propiedades LTL en PRISM / Carlos Sergio Bederián.

by Bederián, Carlos Sergio, 1980- | D'Argenio, Pedro Ruben, 1968- [dir.].

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