by: Willem-Paul de Roever · Kai Engelhardt
Hardcover
ISBN: 978-0-521-64170-8
ISBN-10: 0-521-64170-5
Cambridge University Press · 1998
|
|
by: Willem-Paul de Roever · Kai EngelhardtHardcover
ISBN: 978-0-521-64170-8 ISBN-10: 0-521-64170-5 Cambridge University Press · 1998 |
| See also: | ||
| 2009 | Paperback | Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) |