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

129337, Г.МОСКВА, вн.тер.г. МУНИЦИПАЛЬНЫЙ ОКРУГ ЯРОСЛАВСКИЙ, Ш ЯРОСЛАВСКОЕ, Д. 26