Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proc - detaljert visning

Static analysis : 9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings


Utgitt	Berlin : Springer , c2002
Omfang	XI, 525 s. : ill.
Emner	Computer programming Programming languages (Electronic computers) Programmeringsspråk Programmetrikk Vis mer... Programspesifikasjon Programutvikling Programverifikasjon
ISBN	3540442359