Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings (Lecture Notes in Computer Science, Band 6337)

von: Radhia Cousot · Matthieu Martel Taschenbuch Details (Deutschland) Details (United States) EAN=ISBN-13: 978-3-642-15768-4 ISBN-10: 3-642-15768-8 Springer · 2010