Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!

Become a Readings Member. Sign in or sign up for free!

Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.

Hello Readings Member! Go to the member centre or sign out.

Cart ⚙️
Home / Specification In B: An Introduction Using The B Toolkit
Specification In B: An Introduction Using The B Toolkit
Paperback

Specification In B: An Introduction Using The B Toolkit

Howard Haughton (J P Morgan Corp, London, Uk),Kevin Lano (.)
$153.99
Add to wishlist
Sign in or become a Readings Member to add this title to your wishlist.

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.

Read More
In Shop
Out of stock
Shipping & Delivery

$9.00 standard shipping within Australia
FREE standard shipping within Australia for orders over $100.00
Express & International shipping calculated at checkout

MORE INFO
Format
Paperback
Publisher
Imperial College Press
Country
United Kingdom
Date
1 April 1996
Pages
252
ISBN
9781860940187

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.

Read More
Format
Paperback
Publisher
Imperial College Press
Country
United Kingdom
Date
1 April 1996
Pages
252
ISBN
9781860940187

Looking for something in particular?

Search our extensive online catalogue.