1. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
پدیدآورنده : Radhia, Cousot, David A. Schmidt )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1145