von Carroll Morgan
Taschenbuch
EAN=ISBN-13: 978-3-540-19931-1
ISBN-10: 3-540-19931-4
Springer · 2013
|
|
von Carroll MorganTaschenbuch
EAN=ISBN-13: 978-3-540-19931-1 ISBN-10: 3-540-19931-4 Springer · 2013 |
| Siehe auch: | ||
| 1994 | Gebundene Ausgabe | On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT)) |