ZB 2003: Formal Specification and Development in Z and B
- Didier Bert
- Jonathan P. Bowen
- Steve King
- Marina Waldén
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks WagonGOBook ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹79.2Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
ZB 2003: Formal Specification and Development in Z and B is written by Didier Bert and published by Springer. It's available with International Standard Book Number or ISBN identification 3540448802 (ISBN 10) and 9783540448808 (ISBN 13).
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.
