|
 Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: Наука
Год: 1986
Серия: Библиотечка программиста
Формат: djvu
Страниц: 130
Размер: 2,3 Mb
Язык: Русский
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.
Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Скачать с Up-4ever.com
Скачать с Depositfiles.com |
Автор: fisher1978 5-09-2017, 12:41 | Напечатать
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
|
|
|
Разделы сайта
Авторизация
Реклама
Элементы анализа программ. Частичные функции на множестве состояний 
