J. R. Abrial

New Releases

Language

Ebook Format

DRM

1 - 1 of 1 results

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...