程序设计语言的形式语义
认领
0粉丝
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每
简介
本书内容十分丰富，涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时，每章都包含了丰富的难度不等的练习。 本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的，是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识，介绍了支撑程序设计语言形式语义的数学理论、方法和... 更多
属性
出版社
中信出版社 机械工业出版社
ISBN
9787111131533
出版年
2004-1
装帧
平装
价格
32.00元
页数
283
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%