CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

By: Huth, Michael, 1962-.
Contributor(s): Ryan, Mark Dermot, 1962-.
Material type: materialTypeLabelBookPublisher: Cambridge ; New York : Cambridge University, 2009Edition: 2nd ed.Description: xiv, 427 p. : il. ; 25 cm.ISBN: 9780521543101.Subject(s): Lógica matemática | Lenguajes formales | Lógica y significado de programas | Mathematical logic | Formal languages | Logic and meanings of programsOnline resources: Table of contents | Publisher description
Tags from this library: No tags from this library for this title.
Item type Current location Call number Status Date due Barcode Item holds
Libro Libro FaMAF
Sección Computación
C F4 H979 ej.2 Available 20654
Libro Libro FaMAF
Sección Computación
C F4 H979 Available 20448
Total holds: 0

La biblioteca posee 2 ej.

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

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



//