《形式語義學(xué)引論（第二版）》為形式語義學(xué)入門參考書，簡單介紹程序的操作語義、指稱語義和公理語義。《形式語義學(xué)引論（第二版）》共7章：第1章介紹操作語義，第2章介紹指稱語義，第3章介紹公理語義，第4介紹過程調(diào)用的形式語義，第5章介紹非確定程序的形式語義，第6章介紹并發(fā)程序的形式語義，第7章介紹程序的時(shí)態(tài)語義。
計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程等專業(yè)的教師、研究生，相關(guān)領(lǐng)域的科研和工程技術(shù)人員
|
