Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science)
Product ID: 299426153
Frequently Bought Together
Common Questions
Smooth transaction and product arrived in perfect condition.
3 weeks ago
Fast shipping and excellent packaging. The Leatherman tool feels very premium and sturdy.
1 day ago
Competitive prices on a vast range of products
Serving over 300 million shoppers across more than 200 countries
Trusted payment options loved by worldwide shoppers
Trusted payment options loved by worldwide shoppers.
Shop on the go, anytime, anywhere.