陈忠平编著2011 年出版544 页ISBN:9787121127052
本书以硬件仿真软件Proteus为核心,通过实例详细叙述了该软件在AVR ATmega16单片机课程教学和单片机应用产品开发过程中的应用。本书采用C语言作为系统软件开发平台,主要包括单片机系统的设计及相关软件的使用...
陈意云,张昱编著2010 年出版351 页ISBN:9787040284041
本书以类型系统为中心来开展程序设计语言的研究,除了由浅入深地介绍各种类型系统外,还讨论相应程序设计语言的操作语义、公理语言和指称语义,以及这些语义之间的关系,是一本覆盖面较广的有关程序设计语言理论基...