Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17 20, 2002 : roceedings
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
2477 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Static analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, proceedings, Manuel V. Hermenegildo, Germán Puebla, (eds.), Berlin, Springer, 2002, 1 vol. (XI-525 p.), Lecture notes in computer science, 3-540-44235-9 • Static Analysis, Texte imprimé, 9783662197905 |