von Jacques Loeckx
Taschenbuch
ISBN: 978-3-322-96754-1
ISBN-10: 3-322-96754-9
Springer · 2013
|
|
von Jacques LoeckxTaschenbuch
ISBN: 978-3-322-96754-1 ISBN-10: 3-322-96754-9 Springer · 2013 |
| Siehe auch: | ||
| 1987 | Hardcover | The Foundations of Program Verification, 2nd Edition |
| 1984 | Pappbilderbuch | The Foundations of Program Verification |