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

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.

Other Editions and Formats

Paperback

Published: 1st December 1995

More in Computer Programming & Software Development

MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Python & AI For Dummies - John C. Shovic

RRP $57.95

$44.75

23%
OFF
The Practical Guide : The Practical Guide - Kerem Koseoglu
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Computer Systems 3ed : A Programmer's Perspective, Global Edition - David O'Hallaron
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF