Выполнение научно-исследовательской работы по теме: «Формальная спецификация и верификация требований к информационным моделям в строительстве на основе декларативного объектно-ориентированного языка моделирования данных EXPRESS»

Номер: 32413523011

ИНФОРМАЦИЯ О ЗАКУПКЕ