The B-method (Cornerstones of Computing)

View on Open Library

The B-method (Cornerstones of Computing)

by Steve Schneider

No reviews yet

First published: 2001 ISBN: 9780333792841

Subjects

B method (Computer science)

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Steve Schneider

That's all folks!

That's all folks!

Concurrent and real-time systems

Concurrent and real-time systems

The theory and practice of crime prevention through environmental design

The theory and practice of crime prevent...

Computer Security - ESORICS 2020

Computer Security - ESORICS 2020

Formal aspects of security

Formal aspects of security

Applied Cryptography and Network Security

Applied Cryptography and Network Securit...

You Might Also Like

More in B method (Computer s...

Bioinformatics and Functional Genomics

Bioinformatics and Functional Genomics

Jonathan Pevsner

Object-Oriented Analysis and Design with Applications

Object-Oriented Analysis and Design with...

Grady Booch

Modeling in event-b

Modeling in event-b

Jean-Raymond Abrial

Introduction to R for Spatial Analysis and Mapping

Introduction to R for Spatial Analysis a...

Chris Brunsdon

The B-Book

J. R. Abrial

UNIX and Perl to the rescue!

UNIX and Perl to the rescue!

Keith Bradnam