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

Morozov, S. V.

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