عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.724
QA
76
.
L28
Vol
.
724
کتابخانه
محل استقرار
Static analysis : third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993 : proceedings
3rd: 1993: Padova, Italy
Berlin
Springer-Verlag
c1993
ix, 283p.: ill., tables
Lecture notes in computer science; 427
Includes bibliographies
ISBN: 3540572643
Patrick Cousot...]et al.[
1
Congresses ، Computer programming
Congresses ، Programming languages )Electronic computers(
QA
76
.
L28
Vol
.
724
AU
AU Cousot, Patrick, 1948-
CO Workshop on Static Analysis
TI
SE
Workshop on Static Analysis
