形式语义学引论（第二版）.pdf 本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。 叁号仓库 2022年07月17日 0 点赞 0 评论 504 浏览
