Верификация логических описаний комбинационных устройств при наличии функциональной неопределенности: диссертация на соискание ученой степени кандидата технических наук: 05.13.12: защищена 15.03.11: утверждена 11.05.11 / Новиков Дмитрий Яковлевич
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Новиков, Д. Я. (род. 1983) |
| Опубликовано: | Минск , 2010 |
| Физические характеристики: |
161, [5] л. : табл.
|
| Язык: | Русский |
| Предмет: | |
| Е-документ: |
E-документ
|
Зал диссертаций
| Всего : 1 , доступно: 1 | Доступно Без заказа | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||