Ускоренное символьное имитационное моделирование логико-динамических систем Зверев, Владислав Валерьевич ВАК РФ 05.13.18 Стр. 1 из 18