Доказове управління генерацією та модифікацією програмних модулів для інформаційно-аналітичних систем
Вантажиться...
Дата
2008
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Век+
Анотація
Опис
Ключові слова
Бібліографічний опис
Доказове управління генерацією та модифікацією програмних модулів для інформаційно-аналітичних систем / С. Н. Буханцов, В. І. Пустоваров, С. Г. Стіренко, Т. В. Желудкова // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2008. – № 48. – С. 49–53. – Бібліогр.: 5 назв.