Proof in VDM: A Practitioner’s Guide (Formal Approaches to Computing and Information Technology (FACIT))
Product ID: 77457315
Secure Transaction
Frequently Bought Together
Description
Proof in VDM: A Practitioner’s Guide (Formal Approaches to Computing and Information Technology (FACIT))
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Best international shipping I've ever tried. Worth every penny!
3 days ago
Received my product in pristine condition. Great service overall.
1 month ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving millions of shoppers across more than 100 countries
Enhanced Protection
Trusted payment options loved by worldwide shoppers
Customer Assurance
Trusted payment options loved by worldwide shoppers.
Desertcart App
Shop on the go, anytime, anywhere.
