- 授权协议: AGPL
- 开发语言: PHP
- 操作系统: 跨平台
- 软件首页: http://www.novius-os.org/
- 官方下载: http://community.novius-os.org/developpers/download.html
软件介绍
Novius OS 是一个 CMS 系统，适合今天多频道的环境。其目标是为用户提供一个简单的工具来管理 Web 网站、社交网络、移动应用、电子邮件和客户商务应用。基于 FuelPHP 框架开发，使用 HTML5 接口、jQuery UI 框架和 Wijmo 和 TinyMCE 插件。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
