Model Checking

Author: Edmund M. Clarke, Orna Grumberg, Doron A. Peled
List Price: $58.00
Our Price: Click to see the latest and low price
ISBN: 0262032708
Publisher: MIT Press (07 January, 2000)
Edition: Hardcover
Sales Rank: 47,565

Buy now directly from Amazon.com - Purchase this book, safely and securely from the largest book dealer on the Internet, Amazon.com

Similar Products

· Logic in Computer Science: Modelling and Reasoning about Systems
· Principles of Program Analysis
· Introduction to Formal Hardware Verification
· Systems and Software Verification: Model-Checking Techniques and Tools
· The SPIN Model Checker : Primer and Reference Manual

Return To Main Computer Book IndexSearch Our Entire Computer Book Catalog