Return to Issue Details Формалізація процесу зміни станів програмних об’єктів складних систем на основі скінченних автоматів Мура Download Download PDF