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