- 授权协议: LGPL
- 开发语言: Java Python JavaScript
- 操作系统: 跨平台
- 软件首页: http://fenixedu.org/
- 软件文档: http://fenixedu.org/dev/api/
- 官方下载: http://fenixedu.org/
软件介绍
======FenixEdu 是个学术和行政管理的高级教育机构的模块化软件平台，提供了涵盖所有级别学术管理过程的解决方案：从高级管理任务到学生，教师和行政人员的日常沟通。 其他相关的工具平台支持很多的行政管理过程，比如采购，资源管理和质量保证。这个平台的分布式特性让相关的人员得到有效的沟通，大大提高了工作的效率。
FenixEdu 平台提供一个 REST API ，带有基于 OAuth 2.0 的强认证，这提高了现有系统的互操作性，如企业资源规划(ERP)和内容管理系统(CMS)。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
