TY - BOOK AU - Скляревич,Акива Нухимович ED - Институт электроники и вычислительной техники АН ЛатССР TI - Основы логических методов проверки автоматов PY - 1979/// CY - Рига PB - Зинатне KW - Цифровые автоматы - Контроль N1 - Библиогр.: с. 187-189 ER -