Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings

Jens Palsberg (ed.)
Bok · Engelsk · 2000 International Static Analysis Symposium

Utgitt	Berlin : Springer , c2000
Omfang	VIII, 432 s. : ill.
Emner	Computer programming Programming languages (Electronic computers) Computer Science Engineering & Applied Sciences Vis mer... Programmeringsspråk Programmetrikk Programspesifikasjon Programutvikling Programverifikasjon Sas Programmetrikk((NO-TrBIB)REAL011146) Programspesifikasjon((NO-TrBIB)REAL002719) Programverifikasjon((NO-TrBIB)REAL007699) SAS((NO-TrBIB)REAL003291)
Dewey	005.13/1
ISBN	3540676686