CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 5 results. Subscribe to this search

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

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