Get Free Shipping on orders over $89
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

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$49.99

33%
OFF
Swift : 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
Learning Go : An Idiomatic Approach to Real-World Go Programming - Jon Bodner
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey

RRP $49.95

$36.75

26%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Microsoft Excel 365 Bible : Bible - Michael Alexander

RRP $90.95

$65.75

28%
OFF
Fundamentals of Python : 3rd Edition - First Programs - Kenneth Lambert
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF