Apple
- Store
- Mac
- iPad
- iPhone
- Watch
- AirPods
- TV et maison
- Divertissement
- Accessoires
- Assistance

Aperçu d’Apple Books

Ouvrir menu navigation locale Fermer menu navigation locale

Palmarès des livres
Palmarès des livres audio

Verification, Model Checking, and Abstract Interpretation Plus de livres par Cezara Drăgoi, Michael Emmi & Jingbo Wang

Static Analysis

Static Analysis

Static Analysis

Encore plus de façons de magasiner : Trouvez un Apple Store ou un revendeur à proximité. Ou appelez au 1 800 MY-APPLE.

Canada (Français) English

© 2024 Apple Inc. Tous droits réservés.

Politique de confidentialité
Utilisation de témoins
Conditions d’utilisation
Avis juridique
Plan du site