- 授权协议: MIT
- 开发语言: JavaScript HTML/CSS
- 操作系统: Android
- 软件首页: http://www.iui-js.org/
- 软件文档: http://www.iui-js.org/docs
软件介绍
iUI是iPhone用户界面框架，使用JavaScript，HTML和CSS，它可以被用来建立Web应用程序，这些应用程序可以运行在任何支持HTML5的浏览器上。虽然它的设计初衷是为了建立有着iPhone SDK构建的本机应用程序那样的外观和感觉的应用程序，但是，用iUI建立的Web应用程序几乎可以在所有的智能手机上运行，只要它包含一个符合标准的Web浏览器。
支持iOS, Android, Rim OS6, MeeGo, Bada, WebOS, ... smartphones和平板.
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》 这本书的介绍吧!
