Ebook: Элементы анализа программ. Частичные функции на множестве состояний
Author: Абрамов С.А.
- Genre: Математика // Анализ
- Series: Библиотечка программиста
- Year: 1986
- Publisher: Наука
- Language: Русский
- djvu
В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Download the book Элементы анализа программ. Частичные функции на множестве состояний for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)