The B-Method

By 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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 033379284X
• ISBN13: 9780333792841
• Release Date: October 2001
• Publisher: Red Globe Press
• Length: 384 Pages