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

The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna.

By: Bradley, Aaron R.
Contributor(s): Manna, Zohar.
Material type: materialTypeLabelBookPublisher: Berlin : Springer, 2007Description: xv, 366 p. : il. ; 25 cm.ISBN: 9783540741121.Subject(s): Computación por dispositivos abstractos | Lógica matemática | Verificación de programas | Computation by abstract devices | Mathematical logic | Program verificationOnline resources: Table of contents | Publisher description
Tags from this library: No tags from this library for this title. Log in to add tags.
Item type Current location Call number Status Date due Barcode Item holds Course reserves
Libro Libro FaMAF
Sección Computación
C F1 B811 Available 20444

Ingeniería del Software II

Total holds: 0

With 60 figures.

Includes bibliographical references (p.[351]-355) and index.

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



//