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

Kuzina, O. N.

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