Summary goes here
Сохранить в:
| Формат: | |
|---|---|
| Язык: | английский |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 8aebff17-2bcb-4540-8376-898ba7ecb954 |
| isbn | 3540646086 9783540646082 |
| issn | |
| language | eng |
| physical | ix, 552 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: ©1998 |
| publishDate | ©1998 |
| subjects | |
| title | Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 ; proceedings / Alan J. Hu, Moshe Y. Vardi (eds.). |
| topic | Computer software Integrated circuits Computer software Integrated circuits Conference papers and proceedings. |