- 授权协议: 未知
- 开发语言:
- 操作系统: 未知
- 软件首页: http://www.activestate.com/activetcl/
软件介绍
官方发布的免费Tcl开发环境，包含许多有用的扩展包。Tcl是一种很通用的脚本语言，它几乎在所有的平台上都可以解释运行，功能强大。是tool command language的缩写.
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》 这本书的介绍吧!
