Зведений каталог бібліотек Харкова
Шкиль, А. С. Реализация процедур импликации на графовой структуре [Текст] / А.С. Шкиль, Д.И. Чегликов, Д.Е. Зинченко // Радіоелектронні і комп'ютерні системи. — 2006. — С. 172-176.
- Анотація:
В данной работе были разработаны внутреннее представление и программная модель процедур прямой и обратной импликации на графовых структурах с целью варификации фрагмента VHDL-кода.
- Електронні версії документа:
- Є складовою частиною документа:
Радіоелектронні і комп'ютерні системи [Текст] // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — 2006.
- Теми документа