Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

Roberto Giacobazzi (ed.)
Bok · Engelsk · 2004 International Static Analysis Symposium

Utgitt	Berlin : Springer , c2004
Omfang	XI, 392 s. : ill.
Emner	Programmeringsspråk Programmetrikk Programspesifikasjon Programutvikling Vis mer... Programverifikasjon Programmetrikk((NO-TrBIB)REAL011146) Programspesifikasjon((NO-TrBIB)REAL002719) Programverifikasjon((NO-TrBIB)REAL007699)
ISBN	3540227911