Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації
DSpace at NTB NTUU KPI
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації
|
|
| Creator |
Пустоваров, В. І.
|
|
| Subject |
681.3.06
|
|
| Publisher |
Київ
Век+ |
|
| Date |
2013-11-27T13:20:33Z
2013-11-27T13:20:33Z 2008 |
|
| Type |
Article
|
|
| Format |
С. 42-47
|
|
| Identifier |
Пустоваров В. І.Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2008. – № 49. – С. 42–47. – Бібліогр.: 7 назв.
http://ela.kpi.ua/handle/123456789/6112 |
|
| Source |
Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць
Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка |
|
| Language |
uk
|
|