Static Analysis
5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Giorgio Levi
Themen in »Static Analysis«
Analysis Concurrency Logic Programming Partial Evaluation Program Analysis Program Optimization logic model checking optimization programming
Stimmen zu »Static Analysis«
Details
ISBN: 9783540497271
Verlag: Springer Berlin
Erscheinung: 29.06.2003