Get Free Shipping on orders over $79
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
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
The Art of Spyro : Reignited Trilogy - Micky Neilson

RRP $75.00

$52.99

29%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$38.75

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

RRP $47.75

$26.75

44%
OFF
Arduino For Dummies : Blackwell Philosophy Anthologies - John Nussey