Sign inJoin
The B-Book
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

The B-Book Assigning Programs to Meanings

J. R. Abrial, Jean-Raymond Abrial — 2005
Sign up to use
The definitive book on the B Method; essential for all working in formal methods and safety-critical software.

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.