В представленной курсовой работе рассмотрены методы формального представления моделей и средств автоматизации такого представления.В ходе выполнения работы студентом были правильно выбраны объект и предмет исследования. Определен круг задач, необходимых для достижения поставленной цели. Список использованной литературы содержит источники, изданные за последние три года. Курсовая работа содержит... 23.10.2020