BooksPrice.com

book price comparison

ISBN 0262038838 books & textbook

Model Checking, second edition (Cyber Physical Systems Series)

Clarke Jr., Edmund M.  Grumberg, Orna  Kroening, Daniel  Peled, Doron  Veith, Helmut  

The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
 

compare price