| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS ... Germany, March 26--April 3, 2011, Proceedings | 978-3-642-19862-5 | 2011 |
| Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS ... Notes in Computer Science, Band 6601) | 978-3-642-19860-1 | 2011 |
| Leveraging Applications of Formal Methods, Verification, and Validation | 978-3-642-34780-1 | 2012 | Reiner Hähnle · Tiziana Margaria · Dietmar Schreiner · Bernhard Steffen |
| Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers | 978-3-642-34782-5 | 2012 | Reiner Hähnle · Tiziana Margaria |
| Optimal Interprocedural Program Optimization: A New Framework and Its Application (Lecture Notes in Computer Science) | 978-3-540-65123-9 | 1998 |