Skip to main content alibris logo
Model Checking, Second Edition - Clarke, Edmund M, and Grumberg, Orna, and Kroening, Daniel
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.

loading
Model Checking, Second Edition 2018, MIT Press, Cambridge

ISBN-13: 9780262038836

2nd edition

Hardcover