Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30
Frank S.de Boer, Marcello M.Bonsangue, Susanne Graf, Willem-Paul de Roever 等著 /2005-10-01 /北京燕山出版社
收藏
用户建模/2005年国际会议录:User Modeling 2005: 10th International Confe
¥636.40
Liliana Ardissono,Paul Brna,Antonija Mitrovic 著 /2005-09-01 /北京燕山出版社
Correct Hardware Design and Verification Methods正确的硬件设计与验证法/
¥775.60
Dominique Borrione,Wolfgang Paul 著 /2005-10-01 /北京燕山出版社
Theory of association schemes协会计划的理论
¥929.30
Paul-Hermann Zieschang 著 /2005-12-01 /北京燕山出版社