Apple
Mac
iPad
iPhone
Watch
AirPods
TV
Διασκέδαση
Υποστήριξη
Εύρεση σημείων πώλησης
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Stephan Merz
Books
Interactive Theorem Proving
2016
Modeling and Verification of Real-time Systems
2013
Temporal Logic and State Systems
2008