The calculus of computation : decision procedures with applications to verification /

Detalles Bibliográficos
Autor principal: Bradley, Aaron R. (autor)
Otros Autores: Manna, Zohar (autor)
Formato: Libro
Lenguaje:English
Publicado: Berlin : Springer- Verlag, [2007]
Materias:
Lógica computacional
Verificación de programas para computadora
Descripción
Descripción Física:xv, 366 páginas : ilustraciones ; 25 cm.
Bibliografía:Incluye bibliografía (páginas [351]- 355) e índice.
ISBN:9783540741121

Ejemplares similares