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

Макиша, Е. В.

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