1. Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings
پدیدآورنده : Patrick Cousot )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2126
