Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Russian |
| Published: |
Томск
2000
|
| Subjects: | |
| Online Access: | Перейти в каталог НБ ТГУ |
Internet
Перейти в каталог НБ ТГУНаучная библиотека ТГУ: Книгохранилище
| Call Number: |
1-838305к |
|---|---|
| Available Place a Hold |