CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 3 results. Subscribe to this search

|
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).
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).

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