The Calculus of Computation: Decision Procedures with Applications to Verificati
85,54 €
The Calculus of Computation. - Propositional Logic. - First-Order Logic. - First-Order Theories. - Program Correctness: Strategies. - Algorithmic Reasoning. - Quantifier-Free Equality and Data Structures.
Jetzt bei Ebay:
