| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings | | 978-3-540-85113-4 | 2008 | Klaus Havelund · Rupak Majumdar |
| Modern Compiler Implementation in Java | | 978-0-521-82060-8 | 2002 | Andrew W. Appel |
| Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday | | 978-3-642-04163-1 | 2009 |
| Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings | | 978-3-540-67668-3 | 2008 |
| Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings | | 978-3-642-03236-3 | 2009 | Zhendong Su |
| Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... Notes in Computer Science , Band 3920) | | 978-3-540-33056-1 | 2008 | Holger Hermanns |
| Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ... Notes in Computer Science, Band 10747) | | 978-3-319-73720-1 | 2018 | Isil Dillig |