The Calculus of Computation

Editora:

Springer Nature B.V.

Código:

491_9783642093470

Vendido e entregue por Um Livro

De: R$ 0,00Por: R$ 502,32ou 3X de R$ 167,44

Comprar

Sinopse
Características

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.

Veja mais

Calcule o valor do frete e prazo de entrega para a sua região