Add to Bookshelf
Model Checking, second edition
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled and Helmut Veith
Best Seller
Part of Cyber Physical Systems Series
Part of Cyber Physical Systems Series
Category: Science & Technology
Category: Science & Technology
Hardcover
$75.00
Dec 04, 2018 | ISBN 9780262038836
-
$75.00
Dec 04, 2018 | ISBN 9780262038836
-
Dec 04, 2018 | ISBN 9780262349451
YOU MAY ALSO LIKE
QUICK VIEW
The Ultimate Mixed Martial Arts Training Guide
Ebook
$10.99
QUICK VIEW
Computer Science Made Simple
Ebook
$12.99
QUICK VIEW
CodeNotes for Oracle 9i
Ebook
$3.99
×
Become a Member
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In