Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
201X.
Berlin [etc.] : |
| Серии: | Lecture notes in computer science
2725 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur 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: | • Computer aided verification, 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, proceedings, Warren A. Hunt, Jr., Fabio Somenzi (eds.), Berlin, Springer, 2003, 1 vol. (XII-462 p.), Lecture notes in computer science, 3-540-40524-0 • Computer Aided Verification, Texte imprimé, 9783662186855 |