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
|
