Static Analysis
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Radhia Cousot
Themen in »Static Analysis«
Factor Interrupt Management complexity data structure data structures logic model checking program analysis program manipulation program transformation software analysis static analysis systems analysis verification
Stimmen zu »Static Analysis«
Details
ISBN: 9783540448983
Verlag: Springer Berlin
Erscheinung: 03.08.2003