Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Daniel Kroening
Books
Model Checking, second edition
2018
Computer Aided Verification
2015
Computer Aided Verification
2015
Validation of Evolving Software
2015
Verified Software: Theories, Tools and Experiments
2014
Decision Procedures
2008