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