The Calculus of Computation
Sobre o livro
Foundations.- Propositional Logic.- First-Order Logic.- First-Order Theories.- Induction.- Program Correctness: Mechanics.- Program Correctness: Strategies.- Algorithmic Reasoning.- Quantified Linear Arithmetic.- Quantifier-Free Linear Arithmetic.- Quantifier-Free Equality and Data Structures.- Combining Decision Procedures.- Arrays.- Invariant Generation.- Further Reading.
Ficha técnica
- Autor
- Bradley, Aaron R., Aaron R. Bradley, Bradley, Aaron R.
- Editora
- UmLivro, Springer Nature BV (Print-On-Demand)
- Formato
- BOOK
- Encadernação
- Capa comum
- ISBN
- 9783642093470
- EAN
- 9783642093470
- Ano de Publicação
- 2010
- Número de Páginas
- 384
- Dimensões
- 23.4 x 15.6 x 3 cm
- Peso
- 0.54 kg
- Idioma
- pt-BR
- Edição
- 1
- SKU
- 9783642093470
