-
中文图书1.通信与移动系统:π演算:the π-calculus TN914/72
馆藏复本:3
可借复本:2 Robin Milner著
清华大学出版社 2009
(0) 馆藏 -
西文图书2.The definition of standard ML / revised ed. TP312ML/M659
馆藏复本:5
可借复本:5 Milner, R.
MIT Press, c1997.
(0) 馆藏