Львов М.С.
Об одном подходе к верификации алгебраических вычислений
Автор: Львов М.С. Вид автора: персона
Мова: Російська Обсяг: с.23-35
УДК: 004.415.28
Є складовою частиною документа: Проблеми програмування
| | Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| | Дата видання документа, в якому знаходиться дана частина: | 2011 |
| | Номер головного документа: | №4 |
Теми документа
|