ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ... (Lecture Notes in Computer Science, 1878)
Product ID: 305493990
Secure Transaction
Frequently Bought Together
Description
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 ... (Lecture Notes in Computer Science, 1878)
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Received my product in pristine condition. Great service overall.
1 month ago
Fantastic and great service. Shipping was faster than expected.
1 week ago
Shop Global, Save with Desertcart
Value for Money
Competitive prices on a vast range of products
Shop Globally
Serving over 300 million shoppers across more than 200 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.
Get the App
