- 授权协议: GPL
- 开发语言: Python
- 操作系统: Windows
- 软件首页: http://www.openerp.com/
- 软件文档: http://doc.openerp.com/
软件介绍
======Tiny ERP (现已改名为：OpenERP) 系统是一款非常适合中小型企业的灵活强大的开源ERP系统。它的许多非常优秀的特性与当前的某些昂贵的ERP产品不相伯仲甚至更为出色，而其开源的 特点也必将吸引更多的开发者和用户的关注。Tiny ERP目前的开发速度惊人，不断有非常实用、灵活方便的模块推出。
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》 这本书的介绍吧!
