Ajax应用开发工具 XML11
- 授权协议: 未知
- 开发语言: Java JavaScript
- 操作系统: 跨平台
- 软件首页: http://www.xml11.org/
- 软件文档: http://www.xml11.org/documentation/
软件介绍
XML11 项目是为了帮助程序员编写 Ajax 应用程序，而无需了解更多的 JavaScript 的知识。你可以使用 Java 语言来编写应用，而 XML11 将这个应用转成可以在各种浏览器下运行的 JavaScript 应用。
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》 这本书的介绍吧!
