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