- 授权协议: Apache
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: https://github.com/nasa/CertWare
软件介绍
CertWare 是一个工具的集合，旨在支持安全可靠的项目的发展。CertWare 采用了几个结构化的参数模型，并且提供了支持书写和验证参数的选择模型。无论是文本编辑还是图形编辑都得到了实现，并且使用了几种模型生成工具，便于实施和维护。
Haskell函数式编程基础
Simon Thompson / 科学出版社 / 2013-7-1 / 129.00
《Haskell函数式编程基础（第3版）》是一本非常优秀的Haskell函数式程序设计的入门书，各章依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、诸如数组和列表的结构化数据、列表上的原始递归和推理、输入输出的控制处理、类型分类与检测方法、代数数据类型、抽象数据类型、惰性计算等内容。书中包含大量的实例和习题，注重程序测试、程序证明和问题求解，易......一起来看看 《Haskell函数式编程基础》 这本书的介绍吧!
