by Jonathan Jacky
Paperback
ISBN: 978-0-521-55976-8
ISBN-10: 0-521-55976-6
Cambridge University Press · 1997
|
|
by Jonathan JackyPaperback
ISBN: 978-0-521-55976-8 ISBN-10: 0-521-55976-6 Cambridge University Press · 1997 |
| See also: | ||
| 1996 | Hardcover | The Way of Z: Practical Programming with Formal Methods |