Letichevsky F., Letichevsky J., Peschanenko V., Guba A.
Deductive verfication of requirements for tvtnt-driven architecture
Автор: Letichevsky F., Letichevsky J., Peschanenko V., Guba A. Вид автора: персона
Мова: Англійська Обсяг: с.54-61
УДК: 519.7
Є складовою частиною документа: Проблеми програмування
| Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| Дата видання документа, в якому знаходиться дана частина: | 2013 |
| Номер головного документа: | №2 |
Теми документа
|