Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: Наука
Год: 1986
Серия: Библиотечка программиста
Формат: djvu
Страниц: 130
Размер: 2,3 Mb
Язык: Русский

В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.
Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.

Скачать с Up-4ever.com
Скачать с Depositfiles.com