| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| 1. Fachtagung über Programmiersprachen: München, 9.-11. März 1971 | Taschenbuch | 978-3-540-06051-2 | 1972 | Manfred Paul |
| Berichte des German Chapter of the ACM/Implementierung PASCAL-artiger Programmiersprachen: Tagung II/1982 am 12.7.1982 in Kiel | Broschiert | 978-3-519-02430-9 | 1982 | Bodo Schlender · Joachim W Schmidt |
| Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 | Taschenbuch | 978-3-540-65493-3 | 1998 | Willem-Paul de Roever · Amir Pnueli |
| Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control | " | 978-3-540-61929-1 | 1997 | Jean-Raymond Abrial · Egon Börger |
| Formal Techniques in Real-Time and Fault-Tolerant System: Third International Symposium Organized Jointly with the Working Group Provably Correct ... Notes in Computer Science , Band 863) | " | 978-3-540-58468-1 | 2009 | Jan Vytopil · Willem-Paul de Roever |
| Informatik: Programmierung | Broschiert | 978-3-519-02321-0 | 1985 | Peter Kandzia |
| LOGLAN '88 - Report on the Programming Language | Taschenbuch | 978-3-540-52325-3 | 2008 | Antoni Kreczmar · Marek Warpechowski · Andrzej Salwicki |
| VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Paperback | 978-3-662-18631-2 | 2014 | Dines Bjørner · C.A.R. Hoare |
| VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Taschenbuch | 978-3-540-52513-4 | 2008 | Dines Bjorner · C.A.R. Hoare |