Супроводження контролю відповідності програм і моделей формальним специфікаціям задач
Вантажиться...
Дата
2007
Автори
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Век+
Анотація
Опис
Ключові слова
Бібліографічний опис
Пустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2007. – № 47. – С. 269–279. – Бібліогр.: 7 назв.