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
Voicetracks
Trade Paperback
$45.00
QUICK VIEW
A History of Dinosaurs in 50 Fossils
Hardcover
$24.95
QUICK VIEW
Slow Down
Trade Paperback
$18.00
QUICK VIEW
ChatGPT and the Future of AI
Trade Paperback Original
$22.95
QUICK VIEW
Cybersecurity Tabletop Exercises
Trade Paperback Original
$59.99
QUICK VIEW
Smithsonian Atlas of Space
Hardcover
$60.00
QUICK VIEW
Pioneering Progress
Trade Paperback Original
$50.00
QUICK VIEW
Architecture Follows Fish
Hardcover
$50.00
QUICK VIEW
Connected & Engaged
Trade Paperback Original
$18.00
×
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