The B-method

The B-method
Author :
Publisher : Palgrave MacMillan
Total Pages : 370
Release :
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.


The B-method Related Books

The B-method
Language: en
Pages: 370
Authors: Steve Schneider
Categories: B method
Type: BOOK - Published: 2001 - Publisher: Palgrave MacMillan

DOWNLOAD EBOOK

Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relatio
The B Language and Method
Language: en
Pages: 240
Authors: Kevin Lano
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code
Program Development by Refinement
Language: en
Pages: 364
Authors: Emil Sekerinski
Categories: Computers
Type: BOOK - Published: 1999 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to imple
The Five B Method to a Successful Triathlon Swim
Language: en
Pages: 106
Authors: Frank Sole
Categories:
Type: BOOK - Published: 2018-11-06 - Publisher:

DOWNLOAD EBOOK

The Five "B" Method to a Successful Triathlon Swim is a comprehensive approach to finally master your swim stroke. The information provided is broken down into