Apple
Store
Mac
iPad
iPhone
Watch
Vision
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Annabelle McIver
Books
Formal Methods – The Next 30 Years
2019
Quantitative Evaluation of Systems
2018
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Abstraction, Refinement and Proof for Probabilistic Systems
2006