- 授权协议: 未知
- 开发语言: Java
- 操作系统: 跨平台
- 软件首页: https://www.jfire.org/
- 软件文档: https://www.jfire.org/modules/content/index.php/documentation.html
软件介绍
======JFire是一个功能强大，免费开源并采用最新技术(J2EE1.4,JDO2.0,Eclipse RCP3.2)进行开发的ERP&CRM软件。假如你需要一个完整并可以扩展的方案来实现你所有的商业需求如:用户管理，与商业合伙人进行在线交易，POS，通过各种销售渠道来组成一个销售网络，仓库管理，报表制作等，那这个软件将是你正确的选择。
The Little Typer
Daniel P. Friedman、David Thrane Christiansen、Duane Bibby、Robert Harper、Conor Mcbride / MIT Press / 2018-10-16 / GBP 30.00
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language, and are......一起来看看 《The Little Typer》 这本书的介绍吧!
