- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://celtix.objectweb.org/
- 软件文档: http://celtix.objectweb.org/docs/index.html
软件介绍
Celtix提供了一个运行期Java企业服务总线和一组可扩展的API.通过使用一个基于标准的，面向服务的体系来简化商业与技术组件的构建，集成和灵活重复使用。
The Little Prover
Daniel P. Friedman、Carl Eastlund / The MIT Press / 2015-7-10 / USD 38.00
[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, wi......一起来看看 《The Little Prover》 这本书的介绍吧!
