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