Preview

Информатика

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

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


Новиков Д.Я., Черемисинова Л.Д. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2010;(3(27)):54-62.

For citation:


., . . Informatics. 2010;(3(27)):54-62. (In Russ.)

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


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


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