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

Семенов, В. А.

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