Abbey's Bookshop Logo
Go to my checkout basket
Login to Abbey's Bookshop
Register with Abbey's Bookshop
Gift Vouchers
Browse by Category

facebook
Google Book Preview
The B-Method by Steve Schneider at Abbey's Bookshop,

The B-Method

Steve Schneider


9780333792841

Palgrave Macmillan


Computing & IT;
Software Engineering


Paperback

384 pages

$130.95  $25.00
In stock
Ready to ship
order qty:  
Add this item to my basket

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.

By:   Steve Schneider
Imprint:   Palgrave Macmillan
Country of Publication:   United Kingdom
Dimensions:   Height: 246mm,  Width: 189mm,  Spine: 20mm
Weight:   740g
ISBN:   9780333792841
ISBN 10:   033379284X
Series:   Cornerstones of Computing
Pages:   384
Publication Date:   October 2001
Audience:   College/higher education ,  A / AS level ,  Further / Higher Education
Format:   Paperback
Publisher's Status:   Active

Preface Introducing Abstract Machines Review of Set Theory and Logic Weakest Preconditions Towards Machine Consistency Parameters, Sets and Constants Relations Functions and Sequences Arrays Nondeterminism Structuring with INCLUDES Structuring with SEES and USES Data Refinement Refinement of Nondetermnism Proof Obligations for Refinements Loops Implementation Machines Case Study: Heapsort Library Machines Answers to SelfTests Appendix A: Generalised Substitution Language Appendix B: Machine Readable AMN Index Index of Machines

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.


'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

Your cart does not contain any items.