- 授权协议: LGPL
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: http://seamframework.org/
- 软件文档: http://seamframework.org/Documentation
软件介绍
JBoss Seam是“Java EE 5.0的一个轻量级的框架”。它在Java EE 5.0框架的上层，为所有的在企业Web应用中的组件提供了一个统一的、易于理解的编程模型。它同样使基于状态的应用和业务流程驱动的应用的开发易如反 掌。换句话说，Seam致力于开发者生产力和应用扩展性。
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》 这本书的介绍吧!
