《組件和對(duì)象用形式方法/Formal methods for components and objects》下載
《組件和對(duì)象用形式方法/Formal methods for components and objects》PDF下載
| 圖書名稱: | 組件和對(duì)象用形式方法/Formal methods for components and objects | |||
| 封面圖片: |
|
|||
| 出版印刷時(shí)間: | 2006-12 | |||
| 出版社: | 湖北辭書出版社 | |||
| 圖書作者: | De Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne | |||
| 文件格式: | ||||
| 13位ISBN: | 9783540367499 | |||
| 10位ISBN: | 3540367497 | |||
| 頁(yè)數(shù): | 429 | |||
| 下載地址: | 組件和對(duì)象用形式方法/Formal methods for components and objectsPDF格式下載 | |||
|
|
||||
| 查看詳細(xì): | 組件和對(duì)象用形式方法/Formal methods for components and objects | |||