Specification In B: An Introduction Using The B Toolkit
Howard Haughton (J P Morgan Corp, London, Uk),Kevin Lano (.)
Specification In B: An Introduction Using The B Toolkit
Howard Haughton (J P Morgan Corp, London, Uk),Kevin Lano (.)
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.
This item is not currently in-stock. It can be ordered online and is expected to ship in approx 4 weeks
Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.
Sign in or become a Readings Member to add this title to a wishlist.