B method

1 titles from eBooks.com

New Releases

Language

Ebook Format

DRM

The B-Book: Assigning Programs to Meanings

The B-Book

Assigning Programs to Meanings

J. R. Abrial, A. Hoare and 1 more...
Cambridge University Press (2005)
US$99.00

The definitive book on the B Method; essential for all working in formal methods and safety-critical...