Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Maison
Divertissements
Accessoires
Assistance
0
+
Aperçu
Apple Books
Navigation locale Ouvrir menu
Navigation locale Fermer menu
Classement des livres
Classement des livres audio
Stephan Merz
Livres
Interactive Theorem Proving
2016
Modeling and Verification of Real-time Systems
2013
Temporal Logic and State Systems
2008