The B-Method
Condition: SECONDHAND
This is a secondhand book. The jacket image is indicative only and does not represent the condition of this copy. For information about the condition of this book you can email us.
This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It covers the B approach to software development from specification through refinement, down to implementation and automatic code generation, with verification at each stage. The book assumes no prior knowledge and is written in a tutorial style, containing numerous illustrative examples, exercises and self tests with answers. It also comes with a free licence for the B Toolkit.
Author: Steve Schneider
Format: Paperback, 384 pages, 189mm x 246mm
Published: 2001, Palgrave Macmillan, United Kingdom
Genre: Computing: Professional & Programming
Description
This is a textbook introduction to the B-Method, a rigorous methodology for the development of correct software, underpinned by powerful state-of-the-art tool support. It covers the B approach to software development from specification through refinement, down to implementation and automatic code generation, with verification at each stage. The book assumes no prior knowledge and is written in a tutorial style, containing numerous illustrative examples, exercises and self tests with answers. It also comes with a free licence for the B Toolkit.
The B-Method