Логические методы проверки комбинационных автоматов

Библиографические подробности
Главный автор: Скляревич А.Н
Соавтор: АН ЛатССР
Формат:
Язык:Russian
Опубликовано: Рига Знание 1975
Предметы: