by Willem-Paul de Roever
Paperback
ISBN: 978-0-521-10350-3
ISBN-10: 0-521-10350-9
Cambridge University Press · 2009
|
|
by Willem-Paul de RoeverPaperback
ISBN: 978-0-521-10350-3 ISBN-10: 0-521-10350-9 Cambridge University Press · 2009 |
| See also: | ||
| 1998 | Hardcover | Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science) |