...

函数式程序设计与证明

语言:中文   |   章节:1   |   阅读:44   |   收藏:0   |   评论:0

一本关于函数式程序的实践书籍,内容涵盖程序设计,程序证明,函数式数据结构、算法及证明,语言设计、编译器实现以及可信编译验证,工业级操作系统的函数式规范与安全证明等。本书主要以Isabelle/HOL定理证明器作为工具环境。

阅读

收藏 打赏 分享 举报

  • 善良比聪明更重要(评论内容审核后才会显示)

相关书籍