Информация об авторе
Морозов, С. В.
Выпуск | Раздел | Название | Файл |
№ 5 (2024) | ТЕОРИЯ ПРОГРАММИРОВАНИЯ: ФОРМАЛЬНЫЕ МОДЕЛИ И СЕМАНТИКА | Формальная спецификация и верификация требований в архитектуре и строительстве на основе языка моделирования EXPRESS |