by: Jacques Loeckx · Kurt Sieber
Hardcover
ISBN: 978-0-471-91282-8
ISBN-10: 0-471-91282-4
Wiley · 1987
|
|
by: Jacques Loeckx · Kurt SieberHardcover
ISBN: 978-0-471-91282-8 ISBN-10: 0-471-91282-4 Wiley · 1987 |
| See also: | ||
| 2013 | Taschenbuch | The Foundations of Program Verification (Series in Computer Science) |
| 1987 | Gebundene Ausgabe | The Foundations of Program Verification (Series in Computer Science) |
| 1984 | Pappbilderbuch | The Foundations of Program Verification |