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

GET EBOOK

Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relatio
The MELT Method
Language: en
Pages: 284
Authors: Sue Hitzmann
Categories: Health & Fitness
Type: BOOK - Published: 2015-01-20 - Publisher: HarperCollins

GET EBOOK

The New York Times–bestselling guide to at-home exercises you can do to live a life free of pain, stress and tension. In this enhanced digital edition of The
Formal Methods for Components and Objects
Language: en
Pages: 402
Authors: Bernhard K. Aichernig
Categories: Computers
Type: BOOK - Published: 2011-12-16 - Publisher: Springer

GET EBOOK

The focus in development methodologies of large and complex software systems has switched in the last two decades from functional issues to structural issues; t
Formal Methods and Software Engineering
Language: en
Pages: 693
Authors: Jin Song Dong
Categories: Computers
Type: BOOK - Published: 2003-10-27 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003
Integrated Formal Methods
Language: en
Pages: 538
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2016-05-23 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June