Повернутися до подробиць випуску Формалізація процесу зміни станів програмних об’єктів складних систем на основі скінченних автоматів Мура Завантажити Завантажити PDF