About this scholarly article

The B-Book: Assigning Programs to Meanings by Abrial, J. R. (author);Hoare, A. (author);Chapron, Pierre (author) is a scholarly article available to read on EtoBox.

Author

Abrial, J. R. (author);Hoare, A. (author);Chapron, Pierre (author)

Publisher

Cambridge University Press

Published

1996