Preview

Информатика

Расширенный поиск
Полноэкранный режим

Для цитирования:


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

For citation:


., ., . . Informatics. 2006;(4(12)):79-87. (In Russ.)

Просмотров: 37


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


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