形式语义学基础与形式说明 | 2版

形式语义学基础与形式说明 | 2版
9787030262387
屈延文编著
中国信息安全测评中心系列丛书
TP301.2
科学出版社
2010-03
2010
2010
本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。