Обложка Теория функциональных программ
Название книги:

Теория функциональных программ

LAP LAMBERT Academic Publishing (2014-08-15 )

Books loader

Omni badge имеющий право на ваучер
ISBN-13:

978-3-659-57987-5

ISBN-10:
3659579874
EAN:
9783659579875
Язык Книги:
Русский
Краткое описание:
В книге рассматриваются математические модели и методы анализа функциональных программ. Основное внимание уделено теории функций, вычисляемых фукциональными программами (эти функции называются наименьшими неподвижными точками функциональных программ). Также излагаются основные методы верификации функциональных программ: метод вычислительной индукции и метод структурной индукции. В книге содержится большое количество задач на доказательство различных свойств функций, вычисляемых функциональными программами. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики" и "информационная безопасность". Также она представляет интерес для специалистов в данных областях.
Издательский Дом:
LAP LAMBERT Academic Publishing
Веб-сайт:
https://www.lap-publishing.com/
By (author) :
Андрей Миронов
Количество страниц:
176
Опубликовано:
2014-08-15
Акции:
В наличии
Категория:
Информатика
Цена:
71.90 €
Ключевые слова:
функциональное программирование, верификация программ, verification, Functional programming

Books loader

Рассылка

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Банковский перевод

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING