| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996: Proceedings | 978-0-387-61463-2 | 1996 | Germany) International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich · M. Nivat | |
| Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science) | 978-3-540-51698-9 | 1989 | ||
| Formal Description of Programming Concepts: Formal Software Development Methods - International Symposium Proceedings: Conference Contributions v. 1 | 978-3-540-53961-2 | 1991 | K.R. Apt · E. Astesiano · D. Bjorner · M. Broy · L. Cardelli · P.D. Mosses · E.-R. Olderog | |
| Methods of Programming: Selected Papers on the Cip-Project | 978-0-387-54576-9 | 1991 | M. Broy | |
| Program Construction: International Summer School | 978-3-540-09251-3 | 2008 | F. L. Bauer · H. Partsch · P. Pepper · J. J. Horning · E. W. Dijkstra · S. L. Gerhart · D. Gries | |