CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Huth, Michael, 1962-

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge ; New York : Cambridge University, 2009. - xiv, 427 p. : il. ; 25 cm.

La biblioteca posee 2 ej.

Incluye referencias bibliográficas (p. 414-417) e índice.

9780521543101


Lógica matemática.
Lenguajes formales.
Lógica y significado de programas.
Mathematical logic.
Formal languages.
Logic and meanings of programs.

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