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 Proc

by Jonathan P. Bowen

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540679448
• ISBN13: 9783540679448
• Release Date: August 2000
• Publisher: Springer
• Length: 510 Pages
• Weight: 2.69 lbs.
• Dimensions: 1.1" x 8.5" x 11.0"