Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Элементы и устройства вычислительной техники и систем управления
скачать файл: 
- Название:
- Зайченко Сергій Олександрович. Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій
- Альтернативное название:
- Зайченко Сергей Александрович. Модели и методы функциональной верификации цифровых систем на основе темпоральных асерций
- Краткое описание:
- Зайченко Сергій Олександрович. Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій : Дис... канд. наук: 05.13.05 - 2011.
- Стоимость доставки:
- 125.00 грн