ZB 2003: Formal Specification and Development in Z and B
| Author | : Didier Bert |
| Publisher | : Springer |
| Total Pages | : 554 |
| Release | : 2003-08-03 |
| ISBN-10 | : 9783540448808 |
| ISBN-13 | : 3540448802 |
| Rating | : 4/5 (802 Downloads) |
Book Synopsis ZB 2003: Formal Specification and Development in Z and B by : Didier Bert
Download or read book ZB 2003: Formal Specification and Development in Z and B written by Didier Bert and published by Springer. This book was released on 2003-08-03 with total page 554 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
