В книге описываются различные подходы к установлению свойств программ и доказательству теорем о программах. Цель книги - дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ.Издательство: Наука Это и многое другое вы найдете в книге Элементы анализа программ. Частичные функции на множестве состояний (С. А. Абрамов)
Элементы анализа программ. Частичные функции на множестве состояний С. А. Абрамов
Подробная информация о книге «Элементы анализа программ. Частичные функции на множестве состояний С. А. Абрамов». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Элементы анализа программ. Частичные функции на множестве состояний С. А. Абрамов»
