Зайченко С.О.
Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій
Рiк видання: 2011 Мiсце видання: Харків
Автор: Зайченко С.О. Вид автора: персона
Мова: Українська Обсяг: 20 с.
Шифр: 658.512.011 УДК: 658.512.011+681.326+519.713
Теми документа
| Примірники |
| Місце збереження |
Інвентарний номер |
Номер |
Кількість |
Видано |
| ЧЗ - Читальний зал |
RND46-1 |
|
1 |
0 |
|