形式语义学

本书是计算机科学的基础学科分支。本书共分六章,分别为引言、操作语义的语义框架、指称语义的数学描述方法...

2012.9