-
中文图书1.实时系统与编程语言 TP316.2/364
馆藏复本:6
可借复本:0 (英)Alan Burns, (英)Andy Wellings著
机械工业出版社 2004.4
(0) 馆藏
-
中文图书2.程序设计语言的形式语义 TP301.2/344
馆藏复本:6
可借复本:0 温斯克尔(Glynn Winskel)著
机械工业出版社 2004.1
(0) 馆藏
-
中文图书3.ML程序设计教程 TP312ML/264
馆藏复本:4
可借复本:0 (英)保罗森(Lawrence C.Paulson)著
机械工业出版社 2005.5
(0) 馆藏