- 授权协议: GPL
- 开发语言: PHP
- 操作系统: 跨平台
- 软件首页: https://sourceforge.net/projects/exm/
软件介绍
EXM System 是一个新的内容管理系统，基于 XOOPS 开发，在其基础上增加很多新的功能，以及对原有的功能进行了改造，使得开发人员和使用人员都很方便。
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》 这本书的介绍吧!
