| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | Taschenbuch | 978-3-642-74886-8 | 2011 | F.L. Bauer · Manfred Broy · M. Broy · C.A. Hoare |
| Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare | Gebunden | 978-3-540-51369-8 | 1989 | F.L. Bauer · Manfred Broy · M. Broy · C.A. Hoare |
| Program Construction: International Summer School | Taschenbuch | 978-3-540-09251-3 | 2008 | S. S. Owicki · M. Griffiths · J. J. Horning · H. Partsch |
| Programming and Mathematical Method: International Summer School | Gebunden | 978-3-540-55558-2 | 1992 | C.A.R. Hoare · F.L. Bauer · Manfred Broy |
E. D. · E. Dijkstra · Edsger W. Dijkstra · Edsger Wybe Dijkstra · Edward W. Dijkstra · W. Dijkstra