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
Claude Marché
Livres
Formal Verification of Object-Oriented Software
2011