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

Apple Books Preview

Local Nav Open Menu Local Nav Close Menu

Top Books
Top Audiobooks

Ana Sokolova

Books

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

Reachability Problems

Reachability Problems

Reachability Problems

Model Checking Software

Model Checking Software

Model Checking Software

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

Canada (English) Français

Copyright © 2024 Apple Inc. All rights reserved.

Privacy Policy
Use of Cookies
Terms of Use
Legal
Site Map