Springer
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Product Code:
9783540402534
ISBN13:
9783540402534
Condition:
New
$118.37
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
$118.37
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.
| Author: Didier Bert |
| Publisher: Springer |
| Publication Date: May 20, 2003 |
| Number of Pages: 554 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540402535 |
| ISBN-13: 9783540402534 |
Related Products
