Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

Model Checking (MIT Press)

 
 
 
 
Model Checking (MIT Press)
Author: Edmund M. Clarke Jr. - Orna Grumberg - Doron A. Pe
ISBN 13: 9780262032704
ISBN 10: 262032708
Edition: n
Publisher: The MIT Press
Publication Date: 1999-01-07
Format: Hardcover
Pages: 314
List Price: $72.00