CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.

by Abramsky, Samson, 1953- [ed.,] | Gabbay, Dov M, 1945- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford : Oxford university, 1992-1994Availability: Items available for loan: [Call number: C F4.1 H236 v.4] (4).
Formal methods at the crossroads : from panacea to foundational support / ed. Bernhard K. Aichernig, Thomas S. E. Maibaum.

by Aichernig, Bernhard K, 1969- [ed.,] | Maibaum, Thomas S. E, 1947- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 2003Availability: Items available for loan: [Call number: C LNCS v. 2757 ] (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