Call Boomerang Books 1300 36 33 32

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.

Book Details

ISBN: 9780333792841
ISBN-10: 033379284X
Format: Paperback
(246mm x 189mm x mm)
Pages: 384
Imprint: Palgrave Macmillan
Publisher: Palgrave Macmillan
Publish Date: 19-Oct-2001
Country of Publication: United Kingdom

Book Reviews - The B-Method by Steve Schneider

» Have you read this book? We'd like to know what you think about it - write a review about B-Method book by Steve Schneider and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review

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.

Books By Steve Schneider

Concurrent and Real-time Systems by Steve Schneider
Paperback, September 1999