通信顺序进程

下载此书RAR压缩包在线购买PDF电子书

（英）C·A·R·Hoare著；周巢尘译1990 年出版285 页ISBN：7301008139

理论计算机科学 形式语义学引论

下载此书RAR压缩包在线购买PDF电子书

中国科学院计算技术研究所，周巢尘著1985 年出版160 页ISBN：15204·146

形式语义学引论 第2版

下载此书RAR压缩包在线购买PDF电子书

周巢尘，詹乃军著2017 年出版150 页ISBN：9787030533838

本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...

峨眉天罡指穴法 内功异按踊术

下载此书RAR压缩包在线购买PDF电子书

周潜川著周巢父，周怀姜整理1985 年出版165 页ISBN：14088·136