عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2126
QA
76
.
L28
Vol
.
2126
کتابخانه
محل استقرار
Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
8th: 2001: Paris, France
Berlin
Springer-Verlag
c2001
xi, 436 p.: ill., tables
Lecture notes in computer science; 6212
Includes bibliographies
ISBN: 3540423141
Patrick Cousot )ed.(
1
Congresses ، Computer programming
Congresses ، Programming languages )Electronic computers(
QA
76
.
L28
Vol
.
2126
AU
AU Cousot, Patrick, 1948-
TI
SE
International Static Analysis Symposium
