- 授权协议: 共享软件
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://www.devmachines.com/qtitan_framework.php
- 软件文档: http://www.devmachines.com/qtitan_grid_quickstart.php
软件介绍
Qtitan 是一组基于 Qt 的 GUI 框架，主要用来开发高质量、具有丰富界面效果的桌面应用，包含的组件主要涉及多媒体和表格。
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》 这本书的介绍吧!
