AJAX框架 CrossUI
- 授权协议: LGPL
- 开发语言: JavaScript
- 操作系统: 跨平台
- 软件首页: http://www.crossui.com/
- 软件文档: http://www.crossui.com/
软件介绍
就是之前的龙博AJAX框架（http://www.oschina.net/p/longboo），现在更名为CrossUI，同时原来的web版界面设计器转为桌面版，新版界面设计器可以直接发布为web站点、win桌面软件、安卓软件、IOS软件，实现一次设计编写处处运行，界面设计器需购买授权（未授权的可以免费使用，但是发布的产品中背景图被设置为CrossUI的图片），js框架部分开源、免费。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
