Информатика, вычислительная техника и управление. Диссертация Ускоренное символьно-предикатное моделирование организационно-технических систем предприятий : диссертация ... кандидата технических наук : 05.13.01, Санкт-Петербург, 2002