Верификационные методы анализа оптимального управления процессами и системамиПопов, Петр Михайлович2001193 с.