| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Algorithmentheorie | 978-0-387-07933-2 | 1976 | |||
| Algorithmentheorie | Taschenbuch | 978-3-540-07933-0 | 1976 | ||
| Computability and decidability;: An introduction for students of computer science | Paperback | 978-0-387-05869-6 | 1972 | ||
| Computability and Decidability: An Introduction for Students of Computer Science | Taschenbuch | 978-3-540-05869-4 | 1972 | ||
| The Foundations of Program Verification, 2nd Edition | Hardcover | 978-0-471-91282-8 | 1987 | Kurt Sieber | |
| The Foundations of Program Verification | Taschenbuch | 978-3-322-96754-1 | 2013 | ||
| The Foundations of Program Verification | Pappbilderbuch | 978-3-519-02101-8 | 1984 | Kurt Sieber | |
Gabler Verlag · Springer · Teubner · Wiley