The B-method Steve Schneider
| Use attributes for filter ! | |
| Reviews | www.scribd.com |
|---|---|
| Published | October 18, 2001 |
| Authors | Steve Schneider |
| Media actions | www.worldcat.org |
| Get book actions | www.worldcat.org |
| Date of Reg. | |
| Date of Upd. | |
| ID | 4037488 |
About The B-method 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. ...