Информация об авторе

Морозов, С. В.

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