Apple
- Store
- Mac
- iPad
- iPhone
- Watch
- Vision
- AirPods
- TV & Home
- Entertainment
- Accessories
- Support

Aperçu Apple Books

Navigation locale Ouvrir menu Navigation locale Fermer menu

Classement des livres
Classement 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

More ways to shop: Find an Apple Store or other retailer near you. Or call 1-800-MY-APPLE.

Choose your country or region

Copyright © 2024 Apple Inc. All rights reserved.

Privacy Policy
Terms of Use
Legal
Site Map