The B-Method by Steve Schneider

Skip to product information
1 of 1

The B-Method by Steve Schneider

Regular price $12.69
Condition - Very Good
3 In stock
Regular price $12.69
Condition - Very Good
3 In stock

Free shipping in 12-14 business days on orders over $15

Summary

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 assumes no prior knowledge and is written in a tutorial style.

The feel-good place to buy books
  • Free shipping in the US over $15
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Sell-back with World of Books - Sell your Books

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 online The 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 directlyThe 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
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.
SKU GOR002416707
ISBN 13 9780333792841
ISBN 10 033379284X
Title The B-Method
Author Steve Schneider
Series Cornerstones Of Computing
Condition Very Good
Binding Type Paperback
Publisher Palgrave Macmillan
Year published 2001-10-19
Number of pages 384
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us