Static Analysis
7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Jens Palsberg
Themen in »Static Analysis«
Action Constraint model checking object optimization programming programming language verification
Stimmen zu »Static Analysis«
Details
ISBN: 9783540450993
Verlag: Springer Berlin
Erscheinung: 02.02.2004