-
西文图书1.Advanced topics in bisimulation and coinduction / O242/BS1
馆藏复本:1
可借复本:1 edited by Davide Sangiorgi, Jan Rutten.
Cambridge University Press, 2012.
(0) 馆藏
馆藏复本:1
可借复本:1 edited by Davide Sangiorgi, Jan Rutten.
Cambridge University Press, 2012.
(0) 馆藏