Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : Proceedings
Bert, Didier/ Bowen, Jonathan P./ International Conference of B and Z Users (3rd : 2003 : Turku, Finland)/ King, Steve/ Walden, Marina
Sold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Add to basket