Зведений каталог бібліотек Харкова

 

Ольхович, Л. Б.
    Метод автоматической валидации UML-спецификации на основе языка OCL. [Текст] / Механико-математический факультет Санкт-Петербургского государственного университета // Программирование. — 2003. — С. 44-50.


- Є складовою частиною документа:

- Теми документа

  • УДК // Комп’ютерна наука і технологія. Застосування комп’ютера. Оброблення даних



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт