We found 1 result
indigoBooksedmund m clarke jr

Your Store:

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 1 of 1 Results
Top Matches
Model Checking, second edition
Kobo ebook

|December 4, 2018

$78.39 online

$97.99list price

save 20%

Available for download

Not available in stores

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. Model checking is a verification technology that provides an algorithmic means of…