CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 4 results. Subscribe to this search

|
Computation theory and logic / ed. Egon Börger.

by Börger, Egon, 1946- [ed.,].

Material type: book Book Publisher: Berlin : Springer, 1987Availability: Items available for loan: [Call number: C LNCS v. 270 ] (1).
Computability, complexity, logic / Egon Börger.

by Börger, Egon, 1946-.

Material type: book Book Publisher: Amsterdam : North-Holland, 1989Availability: Items available for loan: [Call number: C F4.1 B732 ] (1).
Formal methods for industrial applications : specifying and programming the steam boiler control / edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack.

by Abrial, Jean-Raymond, 1938- [ed.] | Börger, Egon, 1946- [ed.] | Langmaack, Hans, 1934- [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 1996Availability: Items available for loan: [Call number: C LNCS v. 1165 ] (2).
Computer science logic / edited by Egon Börger, Yuri Gurevich, Karl Meinke.

by Workshop on computer science logic (7º : 1993 : Swansea, UK) | Börger, Egon, 1946- [ed.] | Gurevich, Yuri [ed.] | Meinke, Karl [ed.].

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