Precisa de ajuda?

+ 55 11 99384-2442
[email protected]

Livro Impresso

The Calculus of Computation



The Calculus of Computation, ARTES, Springer Nature B.V.


Sinopse

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.

Metadado adicionado por UmLivro em 28/12/2024

Encontrou alguma informação errada?

ISBN relacionados

--


Metadados adicionados: 28/12/2024
Última alteração: 27/12/2024

Autores e Biografia

Bradley, Aaron R. (Autor)

Para acessar as informações desta seção, Faça o login.