Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30
Frank S.de Boer, Marcello M.Bonsangue, Susanne Graf, Willem-Paul de Roever 等著 /2005-10-01 /北京燕山出版社
收藏