Поведенческий синтез систем : учебное пособие по курсу "Автоматизация дискрет. систем" для студентов, обучающихся по специальности системы автоматизир. проектирования"Топорков, Виктор Васильевич2001192 с.