CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF

Your search returned 2 results. Subscribe to this search

|
Logic for applications / Anil Nerode, Richard A. Shore.

by Nerode, Anil, 1932- | Shore, Richard A, 1946-.

Edition: 2a. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York : Springer, 1997Availability: Items available for loan: [Call number: C F4 N451 ] (1).
Logic foundations of computer science / edited by Sergei Adian, Anil Nerode.

by LFCS (Symposium) (4º : 1997 : Yaroslavl, Russia) | Adian, Segei Ivanovich, 1931- [ed.] | Nerode, Anil, 1932- [ed.].

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