комп'ютерна логіка, компьютерная логика
Документи:
- Satisfiability For Symbolic Verification in VRS [Текст] / A. Letichevsky, A. Letichevskyi, T. Weigert, V. Peschanenko ; A. Letichevsky [etc.]. — С. 81-87. — Бібліогр. в кінці ст.
- Матвієнко, Микола Павлович
Комп'ютерна логіка [Текст] : навч. посіб. / М. П. Матвієнко. — К. : Ліра-К, 2012. — 288 с. — ISBN 966-2609-09-7.
- Хилбурн, Д.
Микро-ЭВМ и микропроцессоры [Текст] : Техн. средства, программное обеспечение, применения: Пер. с англ. / Д. Хилбурн, П. Джулич ; Под ред. С.Д. Пашкеева. — М. : Мир, 1979. — 463 с.
|
