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
Format
Paperback
Publisher
Imperial College Press
Country
United Kingdom
Published
1 April 1996
Pages
252
ISBN
9781860940187

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.