von: Carroll Morgan · Trevor Vickers
Gebunden
ISBN: 978-3-540-19809-3
ISBN-10: 3-540-19809-1
Springer · 1994
|
|
von: Carroll Morgan · Trevor VickersGebunden
ISBN: 978-3-540-19809-3 ISBN-10: 3-540-19809-1 Springer · 1994 |
| S. auch: | ||
| 2013 | Taschenbuch | On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT)) |