Features
- Cover Type: Paperback with 547 pages
- Published by: Springer
- Edition: 1st Edition August 5, 2003
- Written in: English
- ISBN 10 Number: 3540402535
- ISBN 13 Number: 978-3540402534
-
Book Dimensions:
9 x 6 x 1.3 inches
- Weighs: 1.8 pounds
Product Description
This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.
The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.