Список литературы на тему "UML. Проектирование программных комплексов, информационных систем"

Список литературы

1. Ивлев, В. А. ABIS. Информационные системы на основе действий / В.А. Ивлев, Т.В. Попова. - М.: 1С-Паблишинг, 2019. - 248 c.
2. Карпов, Ю. Г. Model Checking. Верификация параллельных и распределенных программных систем / Ю.Г. Карпов. - М.: БХВ-Петербург, 2023. - 272 c.
3. Колесов, Ю. Б. Моделирование систем. Практикум по компьютерному моделированию (+ CD-ROM) / Ю.Б. Колесов, Ю.Б. Сениченков. - М.: БХВ-Петербург, 2021. - 352 c.
4. Леоненков, Александр Самоучитель UML 2 / Александр Леоненков. - М.: БХВ-Петербург, 2021. - 576 c.
5. Программные системы. Применение, разработка, обоснование: моногр. . - М.: Мир, 2022. - 288 c.

Внимание: данные, отмеченные красным цветом, являются недостоверными!

Книги, использованные при создании данного списка литературы:

Ивлев В. А., Попова Т. В.ABIS. Информационные системы на основе действий	Карпов Ю. Г.Model Checking. Верификация параллельных и распределенных программных систем	Колесов Ю. Б., Сениченков Ю. Б.Моделирование систем. Практикум по компьютерному моделированию (+ CD-ROM)
Леоненков Александр Самоучитель UML 2	[автор не указан]Программные системы. Применение, разработка, обоснование