Static Analysis
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Up to date results Fast conference proceedings State-of-the-art report
Autor*in
Radhia Cousot
Themen in »Static Analysis«
Analysis logic optimization programming structured analysis systems analysis testing verification
Stimmen zu »Static Analysis«
Details
ISBN: 9783642157691
Verlag: Springer Berlin
Erscheinung: 13.09.2010