Моделирование программных систем. Теоретические основы учебное пособие
Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине «Моделирование программных систем». Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, конте...
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Книга |
| Язык: | Russian |
| Опубликовано: |
Москва
РТУ МИРЭА
2023
|
| Online-ссылка: | https://e.lanbook.com/book/368732 https://e.lanbook.com/img/cover/book/368732.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 02792nam0a2200301 i 4500 | ||
|---|---|---|---|
| 001 | 368732 | ||
| 003 | RuSpLAN | ||
| 005 | 20240216150950.0 | ||
| 008 | 240216s2023 ru gs 000 0 rus | ||
| 020 | |a 978-5-7339-1798-6 | ||
| 040 | |a RuSpLAN | ||
| 041 | 0 | |a rus | |
| 044 | |a ru | ||
| 080 | |a 004.942 | ||
| 084 | |a 3.30.2 |2 rubbk | ||
| 245 | 0 | 0 | |a Моделирование программных систем. Теоретические основы |b учебное пособие |c Синицын И. В.,Бескин А. Л.,Воронцов Ю. А. |
| 260 | |a Москва |b РТУ МИРЭА |c 2023 | ||
| 300 | |a 170 с. | ||
| 504 | |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань | ||
| 520 | 8 | |a Учебное пособие дополняет изданное ранее в качестве основного учебного материала по дисциплине «Моделирование программных систем». Рассматриваются формальные грамматики и языки, их свойства и взаимосвязь с распознавателями. Особое внимание уделяется регулярным грамматикам и конечным автоматам, контекстно-свободным грамматикам и автоматам с магазинной памятью. Излагаются методы и алгоритмы анализа и синтеза программ в системах программирования. Даются начальные сведения о верификации программ и ее автоматизации. Приводится большое количество примеров и задач с решениями. Материал предназначен для бакалавров 2 курса Института информационных технологий, обучающихся по направлению подготовки 09.03.04 «Программная инженерия». Издание также будет полезно для студентов старших курсов, магистров и аспирантов, а также для всех, кто планирует профессиональную карьеру в сфере ИТ технологий. | |
| 521 | 8 | |a Книга из коллекции РТУ МИРЭА - Информатика | |
| 521 | 8 | |a СЭБ | |
| 100 | 1 | |a Синицын И. В. | |
| 700 | 1 | |a Бескин А. Л. | |
| 700 | 1 | |a Воронцов Ю. А. | |
| 856 | 4 | |u https://e.lanbook.com/book/368732 | |
| 856 | 4 | 8 | |u https://e.lanbook.com/img/cover/book/368732.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/368732.jpg | ||