Description - The B-Method by Steve Schneider
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.
Buy The B-Method by Steve Schneider from Australia's Online Independent Bookstore, Boomerang Books.
(246mm x 189mm x mm)
Publisher: Palgrave Macmillan
Country of Publication:
Book Reviews - The B-Method by Steve Schneider
Author Biography - Steve Schneider
STEVE SCHNEIDER is a senior lecturer in the Department of Computer Science, Royal Holloway, University of London. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.