СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ

Информатика
Informatika

eng | рус

ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)

Информатика

Бибило П.Н., Кардаш С.Н., Романов В.И. СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ. Информатика. 2006;(4(12)):79-87.

Контент доступен под лицензией Creative Commons Attribution 4.0 License.

ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)