join us on facebook
Search our site
The Heart of Mars by Paul Magrs Read the opening extract of the brand new Paul Magrs book before its publication on 15/03/2018

The B-Method by Steve Schneider


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 specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.* Suitable for undergraduate and postgraduate courses on formal methods and software development* Written in a clear tutorial style of explanation * Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout* Relevant to users of any B-Method CASE tool* Teaching materials available onlineThe B-Method : An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.


'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability'

About the Author

STEVE SCHNEIDER is Professor of Computing in the Department of Computing, University of Surrey, UK. 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.

More books by this author
Author 'Like for Like' recommendations

Loading other formats...

Book Info

Publication date

19th October 2001


Steve Schneider

More books by Steve Schneider
Author 'Like for Like'


Palgrave Macmillan


384 pages


Software Engineering



I recommend Lovereading because you get honest reviews on a whole range of genres-there's something for everyone. It's the only site I need.

Sian Spinney

Lovereading recommends, honestly reviews and promotes books-what more can I say?!

Rachel Bridgeman

It's the first site that I visit when deciding on the next set of books to buy. A particular treat is being able to download an extract.

Tessa Olson

They are bright, breezy and eager to offer a great book, then genuinely listen/respect the review one writes.

Maggie Crane

Thanks to Lovereading I have discovered new writers and read books I would never had looked twice at - and enjoyed them.

Angela Rhodes

Lovereading - a community of people passionate about reading and sharing their views. An incomparable website for book lovers.

Helen Clark

Lovereading is not only an amazing site, but it's one of my very favourites. It's like visiting a fascinating bookstore, but better.

Rebecca Jayne Barrett

The selections are so varied and the reader reviews are so helpful. A fantastic website for those who love books.

Ann Quintilla