Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность

Свидетельство № 2001610157 Российская Федерация. Средство анализа системы булевых уравнений на полумодулярность и дистрибутивность ; свидетельство об официальной регистрации программы для ЭВМ / Морозов Н.В., Рождественский Ю.В. : заявитель и правообладатель ИПИ РАН. ‑ №; дата регистрации 14.02.2001

Программа предназначена для классификационного анализа систем булевых уравнений на полумодулярность и дистрибутивность. Программа ориентирована на использование при разработке самосинхронных электронных схем, не зависящих от задержек элементов или быстродействия электронных компонентов

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *