Free shipping on all orders over $50
7-15 days international
10 people viewing this product right now!
30-day free returns
Secure checkout
61391411
*Introduction * Preliminaries * Logic and Theorem Proving * Modeling Systems * Formal Specification of Systems Properties * Automatic Verification * Deductive Verification * Process Algebras and Equivalences * Testing * Visualization * Pragmatics of Formal Methods * Conclusions