N.V. Shilov, S.O. Shilova
Solving contest problemis via formal program verification
Автор: N.V. Shilov, S.O. Shilova Вид автора: персона
Мова: Англійська Обсяг: с.355-362
УДК: 519.681.2
Є складовою частиною документа: Проблеми програмування
| | Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| | Дата видання документа, в якому знаходиться дана частина: | 2010 |
| | Номер головного документа: | №3 |
Теми документа
|