Static analysis : third international workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings
Patrick Cousot ... [et al] (eds.)
Bok Engelsk 1993 WSA '93
Utgitt | Berlin : Springer , c1993
|
---|---|
Omfang | IX, 283 s. : ill.
|
Emner | Programming (Electronic computers) - Congresses
Programming languages (Electronic computers) - Congresses Logikkprogrammering programmering programmeringsspråk teori |
ISBN | 0387572643. - 3540572643
|