расширенный поиск
Дата публикации: 2015
Дата публикации в реестре: 2024-07-01T12:49:25Z
Представлен подход решения задачи формализации разработки цифровых схем на логическом уровне с использованием семантико-числовой спецификации формул алгебры логики
Тип: Article