程序构造数学中的代数与余代数方法/Algebraic and coalgebraic methods in the ma
¥571.30定价:¥723.20 (7.9折)
Roland Backhouse 著 /2002-12-01 /湖南文艺出版社
收藏
开放式基于对象分布式系统的正式方法/Formal methods for open object-based distr
¥562.40定价:¥711.90 (7.9折)
Roberto Gorrieri,Heike Wehrheim 著 /2006-12-01 /崇文书局(原湖北辞书出版社)