Static Analysis
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Kwangkeun Yi
Themen in »Static Analysis«
algorithm algorithms compiler data structure data structures logic optimization verification
Stimmen zu »Static Analysis«
Details
ISBN: 9783540377566
Verlag: Springer Berlin
Erscheinung: 17.08.2006