B method

1 titles from eBooks.com
The B-Book: Assigning Programs to Meanings

The B-Book

Assigning Programs to Meanings

J. R. Abrial, A. Hoare and 1 more...
US$88.99

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