عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2694
QA
76
.
L28
Vol
.
2694
کتابخانه
محل استقرار
Static analysis : 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
10th :2003 : San Diego, Calif.
Berlin
Springer-Verlag
c2003
xiv, 503 p.: ill., tables
Lecture notes in computer science; 4962
Includes bibliographies
ISBN: 3540403256
Radhia Cousot )ed.(
1
Congresses ، Computer programming
Congresses ، Programming languages )Electronic computers(
QA
76
.
L28
Vol
.
2694
AU
AU Cousot, Radhia
TI
SE
International Static Analysis Symposium
