Items related to The B-Method
Synopsis
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.
"synopsis" may belong to another edition of this title.
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.
Review
'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 this title" may belong to another edition of this title.
Search results for The B-Method
Seller Image
The B-Method (Cornerstones of Computing)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Seller Inventory # rev9857755885
Quantity: 1 available
Stock Image
The B-Method
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.01. Seller Inventory # G033379284XI3N00
Quantity: 1 available
Stock Image
The B-Method (Cornerstones of Computing)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR002416707
Quantity: 4 available
Stock Image
B-Method
Published by
Palgrave Macmillan Limited, 2001
ISBN 10: 033379284X
ISBN 13: 9780333792841
Used
Softcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # 16728768-20
Quantity: 1 available
Stock Image
The B-method (Cornerstones of computing)
Seller: Greener Books, London, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Used; Very Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Seller Inventory # 4878556
Quantity: 1 available
Stock Image
The B-Method (Cornerstones of Computing)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780333792841. Seller Inventory # 8816637
Quantity: 1 available
Stock Image
The B-Method (Cornerstones of Computing)
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. With usual stamps and markings, In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:033379284X. Seller Inventory # 8816636
Quantity: 1 available