IoC反转控制容器 Excalibur
- 授权协议: Apache
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://excalibur.apache.org/
软件介绍
Excalibur，它的主要产品是一个由java写成的，名字叫做Fortress（要塞） 的轻量级的可嵌入式反向控制容器。
该项目已经废弃！
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》 这本书的介绍吧!
