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 Proceedings (Lecture Notes in Computer Science, 1878)
Add this copy of Zb 2000: Formal Specification and Development in Z and to cart. $88.57, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by Springer.
