عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1145
QA
76
.
L28
Vol
.
1145
کتابخانه
محل استقرار
Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
3rd: 1996: Aachen, Germany
Berlin
Springer-Verlag
1996
ix, 388p. : ill, tables
Lecture notes in computer science; 5411
Includes bibliographies
ISBN: 3540617396
Radhia, Cousot, David A. Schmidt )Eds.(
1
Congresses ، Computer programming
Congresses ، Programming languages )Electronic computers(
QA
76
.
L28
Vol
.
1145
AU
AU Cousot, Radhia
AU Schmidt, David A., 1953-
TI
SE
International Static Analysis Symposium
