Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Specification In B: An Introduction Using The B Toolkit, Hardback Book

Specification In B: An Introduction Using The B Toolkit Hardback

Hardback

Item not Available

Description

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.

Information

Save 17%

£71.00

£58.55

Item not Available
Item not Available
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information