Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації

Вантажиться...
Ескіз

Дата

2008

Науковий керівник

Назва журналу

Номер ISSN

Назва тому

Видавець

Век+

Анотація

Опис

Ключові слова

Бібліографічний опис

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

DOI