The Calculus of Computation
1ª edição
Ofertas
1 loja
Ano 2010·Páginas 384·Formato BOOK·ISBN 9783642093470
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
- 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