ZB 2005: Formal Specification and Development in Z and B
- Helen Treharne
- Steve King
- Martin Henson
- Steve Schneider
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 2005: Formal Specification and Development in Z and B is written by Helen Treharne and published by Springer. It's available with International Standard Book Number or ISBN identification 3540320075 (ISBN 10) and 9783540320074 (ISBN 13).
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.
