Get Free Shipping on orders over $0
Specification In B : An Introduction Using The B Toolkit - Howard Haughton

Specification In B

An Introduction Using The B Toolkit

By: Howard Haughton, Kevin Lano

Hardcover | 1 April 1996

At a Glance

Hardcover


RRP $153.99

$138.75

10%OFF

or 4 interest-free payments of $34.69 with

 or 

Ships in 15 to 25 business days

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.

Other Editions and Formats

Paperback

Published: 1st December 1995

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Arduino For Dummies : Blackwell Philosophy Anthologies - John Nussey
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.97

30%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$48.97

30%
OFF
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Architectural Approach to Level Design : Second edition - Christopher W. Totten
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang