Супроводження контролю відповідності програм і моделей формальним специфікаціям задач
DSpace at NTB NTUU KPI
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Супроводження контролю відповідності програм і моделей формальним специфікаціям задач
|
|
| Creator |
Пустоваров, В. І.
|
|
| Subject |
681.3.06
|
|
| Publisher |
Київ
Век+ |
|
| Date |
2013-12-06T10:31:19Z
2013-12-06T10:31:19Z 2007 |
|
| Type |
Article
|
|
| Format |
С. 269-279
|
|
| Identifier |
Пустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2007. – № 47. – С. 269–279. – Бібліогр.: 7 назв.
http://ela.kpi.ua/handle/123456789/6317 |
|
| Source |
Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць
Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка |
|
| Language |
uk
|
|