B 2007: Formal Specification and Development in B
- Jacques Julliand
- Olga Kouchnarenko
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks WagonGOBook ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible 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 -
B 2007: Formal Specification and Development in B is written by Jacques Julliand and published by Springer. It's available with International Standard Book Number or ISBN identification 3540687610 (ISBN 10) and 9783540687610 (ISBN 13).
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.
