Specification In B: An Introduction Using The B Toolkit

Specification In B: An Introduction Using The B Toolkit

By: Kevin Lano (author), Howard Haughton (author)Paperback

Up to 2 WeeksUsually despatched within 2 weeks


This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Product Details

  • ISBN13: 9781860940187
  • Format: Paperback
  • Number Of Pages: 252
  • ID: 9781860940187
  • ISBN10: 1860940188

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly