形式语义学引论（第二版）

形式语义学引论（第二版）
9787030533838
周巢尘,詹乃军 著

TP301.2
科学出版社
2017-09
2017
2017
　　本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。