
The Calculus of Computation
R$649.27
The Calculus of Computation –
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.
Especificação: The Calculus of Computation
|


Não existe nenhuma avaliação ainda.