Cover of The B-method (Cornerstones of Computing)
View on Open Library ↗

The B-method (Cornerstones of Computing)

by

1.5 hrs read
Rate this book:
384 pages 2001

About This Book

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.

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.

More by Steve Schneider

Computer Security - ESORICS 20
Computer Security - ESORICS 2020
2020
Computer Security – ESORICS 2019
Computer Security – ESORICS 2019
2019
Concurrent and real-time systems
Concurrent and real-time systems
1999
Designing Fear
Designing Fear
2008
Formal aspects of security
Formal aspects of security
2004
La théorie et la pratique de l
La théorie et la pratique de la prévention du crime par l'aménagement du milieu
1996

View all books by Steve Schneider →