-
西文图书1.Formal semantics : an introduction = 形式语义学导论 / H030/C224(C)
馆藏复本:3
可借复本:3 Cann, Ronnie.
世界图书出版公司 : 2010.
(0) 馆藏 -
西文图书2.The handbook of contemporary semantic theory = 当代语义理论指南 / H030-53/H236
馆藏复本:11
可借复本:11 Shalom Lappin主编 ; 方立导读.
外语教学与研究出版社, 2001.
(0) 馆藏 -
中文图书3.程序设计语言的形式语义:an introduction TP301.2/1
馆藏复本:8
可借复本:2 Glynn Winskel著
机械工业出版社 2004
(0) 馆藏