| Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr | |
|---|---|---|---|---|
| Specification and Transformation of Programs: A Formal Approach to Software Development | Taschenbuch | 978-3-540-52589-9 (3-540-52589-0) | 2008 | |
| Specification and Transformation of Programs: A Formal Approach to Software Development | Hardcover | 978-0-387-52356-9 (0-387-52356-1) | 1990 | |
| Specification and Transformation of Programs: A Formal Approach to Software Development | Gebunden | 978-3-540-52356-7 (3-540-52356-1) | 1990 |
A. P. · H.A. · H. P. · H. Partsch · Helmut Partsch