Электронный каталог НБ БНТУ

rus
Научная библиотека БНТУ
Режим работы: Пн-Пт.
- читальные залы с 9:00 до 20:00
- абонементы с 9:00 до 19:00
Сб. с 9:00 до 16:45. Вс. - выходной.
Адреса: г. Минск, ул. Я. Коласа, 16 (читальные залы)
пр. Независимости, 65 (абонементы и читальные залы)

ОНЛАЙН-ЗАКАЗ книг из каталога

ФИЛИАЛЫ

КНИГООБЕСПЕЧЕННОСТЬ

Поиск :

  • Новые поступления
  • Простой поиск
  • Расширенный поиск

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)

  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин

  • Информация о фонде
  • Помощь

Личный кабинет :


Электронный каталог: Ольхович, Л.Б. - Метод автоматической валидации UML-спецификаций на основе языка OCL*

Ольхович, Л.Б. - Метод автоматической валидации UML-спецификаций на основе языка OCL*

Метод автоматической валидации UML-спецификаций на основе языка OCL*
Статья
Автор:
Ольхович, Л.Б.
Программирование: Метод автоматической валидации UML-спецификаций на основе языка OCL*
б.г.
ISBN отсутствует

На полку На полку


Статья

Ольхович, Л.Б.
Метод автоматической валидации UML-спецификаций на основе языка OCL* / Л.Б. Ольхович, Д.В. Кознов // Программирование / гл. ред. В.П. Иванников; учредитель Российская академия наук, Московский государственный университет имени М. В. Ломоносова. – 2003. – N6. – С.44-50.


общий = ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ
общий = ПРОГРАММИРОВАНИЕ

Привязано к:

Отобрать для печати: страницу | инверсия | сброс | печать(0)
Программирование
Экз. чит. зала
Выпуск
Иванников, В.П.
Программирование N6
Наука, 2003 г.
ISBN отсутствует
ОПИ


На полку На полку


© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.121