Безверха М.А., Процик П.П.
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
Автор: Безверха М.А., Процик П.П. Вид автора: персона
Мова: Українська Обсяг: с.340-348
УДК: 681.3.06
Є складовою частиною документа: Проблеми програмування
| | Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| | Дата видання документа, в якому знаходиться дана частина: | 2010 |
| | Номер головного документа: | №3 |
Теми документа
|