J.D. · Johan Dahl · O D
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science , Band 1130) | Taschenbuch | 978-3-540-61629-0 | 2008 | Olaf Owe · Magne Haveraaen | |
| Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers | Paperback | 978-3-662-19024-1 | 2014 | Magne Haveraaen · Olaf Owe | |
| Research Directions in Object-Oriented Programming | Hardcover | 978-0-262-19264-4 | 1987 | Gul Agha · David Beech · Daniel G. Bobrow · Joseph A. Goguen · Brent Hailpern · Kenneth M. Kahn · Ole Lehrmann Madsen | |
| Structured Programming | Paperback | 978-0-12-200556-5 | 1975 | ||
| Structured Programming | Hardcover | 978-0-12-200550-3 | 1972 | Edsger Wybe Dijkstra · C. A. R. Hoare | |
| Verifiable Programming | Paperback | 978-0-13-951062-5 | 1992 | ||
Academic Press · Prentice Hall · Springer · The MIT Press