CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 13 results. Subscribe to this search

|
Compilación Certificada sobre Máquinas Abstractas de evaluación normal / Leonardo M. Rodríguez.

by Rodríguez, Leonardo Matías, 1987- | Fridlender, Daniel Edgardo, 1964- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2017Dissertation note: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017. Online access: Acceso a Versión Digital | RDU-UNC Availability: Items available for loan: [Call number: T C ROD] (1).
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala.

by Chlipala, Adams, 1981-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts : MIT, 2013Availability: Items available for loan: [Call number: C D2.4 Ch544] (1).
Formalización de la semántica del lenguaje de programacion Lua / Mallku Ernesto Soldevila Raffa.

by Soldevila Raffa, Mallku Ernesto, 1986- | Lima Ventura, Daniel, 1980- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n. ], 2015Dissertation note: Tesis (Lic. 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 RDU-UNC Availability: Items available for loan: [Call number: TE C SOL] (1).
Entorno para la derivación de programas / Emmanuel Gunther.

by Gunther, Emmanuel, 1987- | Pagano, Miguel María, 1979- [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 GUN] (1).
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.

by Kroening, Daniel | Strichman, Ofer.

Material type: book Book; Format: print Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C F4.1 K93] (1).
Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).

by VMCAI (10th : 2009 : Savannah, Ga.) | Jones, Neil D [ed.] | Müller-Olm, Markus [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2009Availability: Items available for loan: [Call number: C LNCS v. 5403] (1).
Formal methods in computer-aided design / ed. Mandayam Srivas, Albert Camilleri.

by FMCAD (1º : 1996 : Palo Alto, CA, USA) | Srivas, Mandayam [ed.] | Camilleri, Albert [ed.].

Material type: book Book Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1166 ] (1).
Concepts, algorithms and tools for model checking / Joost-Pieter Katoen.

by Katoen, Joost-Pieter.

Material type: book Book Publisher: Erlangen : IMMD, 1999Availability: Items available for loan: [Call number: C F3.1 K19 ] (1).
Isabelle/HOL : a proof assistant for higher order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel.

by Nipkow, Tobias | Paulson, Lawrence C | Wenzel, Markus.

Material type: book Book Publisher: Berlin : Springer, 2002Availability: Items available for loan: [Call number: C LNCS v. 2283 ] (1).
Monitores y excepciones en Java / Jorge Rafael ; dir. por Javier O. Blanco.

by Rafael, Jorge, 1980- | Blanco, Javier Oscar, 1968- [dir.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: [S.l. : s.n.], 2007Dissertation note: Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2007. Availability: Items available for loan: [Call number: TE C RAF] (2).
Chequeo estático extendido en Eiffel / Daniel F. Moisset ; dir. por Javier O. Blanco.

by Moisset de Espanes, Daniel Fernando, 1980- | Blanco, Javier Oscar, 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 Cordoba. Facultad de Matemática, Astronomía y Física, 2006. Availability: Items available for loan: [Call number: TE C MOI] (2).
Construcción de programas que manejan dinámicamente la memoria / Renato Cherini ; dir. por Javier O. Blanco.

by Cherini, Renato, 1981- | Blanco, Javier Oscar, 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 CHE] (2).
Un análisis de algunos sistemas formales para verificar protocolos de seguridad sobre spi-cálculo / César Darío Kunz ; dir. por Daniel Edgardo Fridlender.

by Kunz, César Darío, 1980- | Fridlender, Daniel Edgardo, 1964- [dir.].

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

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