CATÁLOGO DE LA BIBLIOTECA DE LA FaMAF
Kroening, Daniel.

Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. - Berlin : Springer, 2010. - xvi, 304 p. : il. ; 24 cm. - Texts in theoretical computer science EATCS series .

9783642093449


Lógica matemática.
Lenguajes formales.
Asistencia de diseños.
Verificación de programas.
Estructura de datos.
Mathematical logic.
Formal languages.
Design aids.
Program verification.
Specifying and verifying.
Reasoning about programs.
Testing and debugging.
Data structures.

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