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
Hardback

Specification In B: An Introduction Using The B Toolkit

Howard Haughton (J P Morgan Corp, London, Uk),Kevin Lano (.)
$289.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
Hardback
Publisher
Imperial College Press
Country
United Kingdom
Date
1 April 1996
Pages
252
ISBN
9781860940088

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
Hardback
Publisher
Imperial College Press
Country
United Kingdom
Date
1 April 1996
Pages
252
ISBN
9781860940088

Looking for something in particular?

Search our extensive online catalogue.