Шелехов В.И.
Верификация и синтез эффективных программ стандартных функций в технологии предикатного программирования
Автор: Шелехов В.И. Вид автора: персона
Мова: Російська Обсяг: с.14-21
УДК: 004.415.52
Є складовою частиною документа: Программная инженерия
| | Назва документа, в якому знаходиться дана частина: | Программная инженерия |
| | Дата видання документа, в якому знаходиться дана частина: | 2011 |
| | Номер головного документа: | №2 |
Теми документа
|