Skip to main content
PBS logo
 
 

Search - The B-method (Cornerstones of Computing)

The B-method (Cornerstones of Computing)
The Bmethod - Cornerstones of Computing
Author: Steve Schneider
This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughou...  more »
ISBN-13: 9780333792841
ISBN-10: 033379284X
Publication Date: 10/19/2001
Pages: 384
Rating:
  ?

0 stars, based on 0 rating
Publisher: Palgrave Macmillan
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: