| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| The Foundations of Program Verification, 2nd Edition | Hardcover | 978-0-471-91282-8 (0-471-91282-4) | 1987 | Jacques Loeckx | |
| The Foundations of Program Verification | Gebunden | 978-3-519-12101-5 (3-519-12101-8) | 1987 | ||
| The Foundations of Program Verification | Pappbilderbuch | 978-3-519-02101-8 (3-519-02101-3) | 1984 | Jacques Loeckx | |