CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 7 results. Subscribe to this search

|
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).
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).
Introduction to process algebra / Wan Fokkink.

by Fokkink, Wan, 1965-.

Material type: book Book Publisher: Berlin : Springer, 2010Availability: Items available for loan: [Call number: C D1.3 F662] (1).
Process algebra : equational theories of communicating processes / J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers.

by Baeten, Josephus Cornelis Maria | Basten, Twan, 1969- | Reniers, Michel Adriaan, 1970-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University, 2010Availability: Items available for loan: [Call number: C D1.3 B142] (1).
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2007Online access: Table of contents | Publisher description Availability: Items available for loan: [Call number: C F1 B811] (1).
Program verification / Francez Nissim.

by Francez, Nissim, 1944-.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Wokingham, England : Addison-Wesley, 1992Availability: Items available for loan: [Call number: C D2.4 F815 ] (1).
A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra.

by Misra, Jayadev.

Material type: book Book Publisher: Berlin : Springer, 2001Availability: Items available for loan: [Call number: C D1.3 M678] (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