Record:   Prev Next
作者 周巢塵 (1937-) 著
書名 形式语义学引论 / 周巢尘, 詹乃军著
出版項 北京市 : 科学出版社, 2017
國際標準書號 9787030533838 (精裝) : 人民幣68.00元
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 文哲所  801.6 8693    在架上    30580003385890
 人文社會聯圖  801.6 7720 2017    在架上    30630010083325
版本 第2版
說明 9, 150面 ; 25公分
附註 含參考書目
本書共7章:第1章介紹操作語義,第2章介紹指稱語義,第3章介紹公理語義,第4介紹過程調用的形式語義,第5章介紹非確定程序的形式語義,第6章介紹併發程序的形式語義,第7章介紹程序的時態語義。
主題 語義學 csht
Alt Author 詹乃軍 著
Alt Title 封面英文題名: Introduction to formal semantics
Record:   Prev Next