组件和对象用形式方法/Formal methods for components and objects
De Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne
湖北辞书出版社
出版时间：2006-12
出版社：湖北辞书出版社
作者：De Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne
页数：429
图书封面
下载链接
组件和对象用形式方法/Formal methods for components and objectsPDF格式下载