El cálculo de la computación: procedimientos de decisión con aplicaciones a la verificación

Fundamentos.- Lógica Proposicional.- Lógica de Primer Orden.- Teorías de Primer Orden.- Inducción.- Corrección de Programas: Mecánica.- Corrección de Programas: Estrategias.- Razonamiento Algorítmico.- Aritmética Lineal Cuantificada.- Aritmética Lineal Libre de Cuantificadores.- Igualdad y Estructuras de Datos Libres de Cuantificadores.- Combinación de Procedimientos de Decisión.- Arrays.- Generación de Invariantes.- Lecturas Adicionales.

Autor: Aaron R. Bradley, Zohar Manna
Editorial: Springer
Publicado: 19/10/2010
Páginas: 366
Tipo de encuadernación: Tapa blanda
Peso: 1.18lbs
Tamaño: 9.21h x 6.14w x 0.79d
ISBN13: 9783642093470
ISBN10: 3642093477
Categorías BISAC:
- Informática | Ciencias de la Computación
- Informática | Diseño Lógico
- Matemáticas | Lógica

Este título no es retornable