RUSSIAN

Элементы анализа программ. Частичные функции на множестве состояний

By Абрамов С.А.

Book information

Publisher
Наука
Year
1986
Language
russian
Format
DJVU
Filesize
3 MB (2767196 bytes)
Series
Библиотечка программиста
Pages
128\130
Library
Mexmat
Time added
2014-10-05 02:30:00

Description

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

Similar books