Перегляд інформації про документ
Назва:
Верифікація цифрових пристроїв за допомогою системи K-значнго моделювання та двотактного кубічного числення
Колекція:
Міжнародна наукова конференція MicroCAD » Секція №21 - Інформатика і моделювання
Кафедра:
Видавець:
Рік публікації:
ISBN/ISSN:
Вид документа:
стаття
Мова документа:
українська
Додано у архів:
07.07.2013
Зведена інформація по документу:
Дмитрієнко, В.Д. Верифікація цифрових пристроїв за допомогою системи K-значнго моделювання та двотактного кубічного числення [Текст] / Дмитрієнко В.Д., Леонов С.Ю. // Міжнародна наукова конференція MicroCAD : Секція №21 - Інформатика і моделювання - НТУ "ХПИ", 2008.
Постійне посилання:
Коротке посилання на файл:
Аанотація:

вiдсутня

отсутствует

absent


© 2019 — Розроблено лабораторією інформаційно-пошукових систем НТУ "ХПІ"