by J. R. Abrial
Paperback
ISBN: 978-0-521-02175-3
ISBN-10: 0-521-02175-8
Cambridge University Press · 2005
|
|
by J. R. AbrialPaperback
ISBN: 978-0-521-02175-3 ISBN-10: 0-521-02175-8 Cambridge University Press · 2005 |
| See also: | ||
| 1996 | Hardcover | The B-Book: Assigning Programs to Meanings |