Моделирование программных систем. Теоретические основы, учебное пособие
| Glavni autor: | |
|---|---|
| Daljnji autori: | , |
| Sažetak: | Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине «Моделирование программных систем». Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Даются начальные сведения о верификации программ и ее автоматизации. Приводится большое количество примеров и задач с решениями. Материал предназначен для бакалавров 2 курса Института информационных технологий, обучающихся по направлению подготовки 09.03.04 «Программная инженерия». Издание также будет полезно для студентов старших курсов, магистров и аспирантов, а также для всех, кто планирует профессиональную карьеру в сфере ИТ технологий. Книга из коллекции РТУ МИРЭА - Информатика |
| Izdano: |
Москва, РТУ МИРЭА, 2023
|
| Teme: | |
| Online pristup: | https://e.lanbook.com/book/368732 https://e.lanbook.com/img/cover/book/368732.jpg |
| Format: | Elektronički Knjiga |
