Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : pro - detaljert visning

Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings


Utgitt	Berlin : Springer , c2003
Omfang	XIV, 503 s. : ill.
Emner	Computer programming Programming languages (Electronic computers) Programmeringsspråk Programmetrikk Vis mer... Programspesifikasjon Programutvikling Programverifikasjon
ISBN	3540403256