The B-method
Author | : Steve Schneider |
Publisher | : Palgrave MacMillan |
Total Pages | : 370 |
Release | : 2001 |
ISBN-10 | : 033379284X |
ISBN-13 | : 9780333792841 |
Rating | : 4/5 (841 Downloads) |
Book Synopsis The B-method by : Steve Schneider
Download or read book The B-method written by Steve Schneider and published by Palgrave MacMillan. This book was released on 2001 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 nondeterminism - Proof obligations for refinements - Loops - Implementation machines - Case study : heapsort - Library machines.