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
Andre Platzer
Livres
Formal Methods
2024
Formal Methods
2024
Logical Analysis of Hybrid Systems
2010