The B-method
Download or Read eBook The B-method PDF 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.
| Author | : Steve Schneider |
| Publisher | : Palgrave MacMillan |
| Total Pages | : 370 |
| Release | : 2001 |
| ISBN-10 | : 033379284X |
| ISBN-13 | : 9780333792841 |
| Rating | : 4/5 (4X Downloads) |
Book Synopsis The B-method by : Steve Schneider
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.
