派博傳思國際中心

標(biāo)題: Titlebook: Modular Specification and Verification of Object-Oriented Programs; Peter Müller Book 2002 Springer-Verlag Berlin Heidelberg 2002 Java.Mod [打印本頁]

作者: 召集會議    時間: 2025-3-21 18:53
書目名稱Modular Specification and Verification of Object-Oriented Programs影響因子(影響力)




書目名稱Modular Specification and Verification of Object-Oriented Programs影響因子(影響力)學(xué)科排名




書目名稱Modular Specification and Verification of Object-Oriented Programs網(wǎng)絡(luò)公開度




書目名稱Modular Specification and Verification of Object-Oriented Programs網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Modular Specification and Verification of Object-Oriented Programs被引頻次




書目名稱Modular Specification and Verification of Object-Oriented Programs被引頻次學(xué)科排名




書目名稱Modular Specification and Verification of Object-Oriented Programs年度引用




書目名稱Modular Specification and Verification of Object-Oriented Programs年度引用學(xué)科排名




書目名稱Modular Specification and Verification of Object-Oriented Programs讀者反饋




書目名稱Modular Specification and Verification of Object-Oriented Programs讀者反饋學(xué)科排名





作者: 不如樂死去    時間: 2025-3-21 22:00

作者: 審問    時間: 2025-3-22 02:03
0302-9743 ance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process.978-3-540-43167-1978-3-540-45651-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
作者: 打谷工具    時間: 2025-3-22 08:31
Book 2002 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process.
作者: BIDE    時間: 2025-3-22 12:25
Modular Specification and Verification of Object-Oriented Programs
作者: Oafishness    時間: 2025-3-22 15:56

作者: evince    時間: 2025-3-22 20:52

作者: oxidant    時間: 2025-3-23 00:50
Peter MüllerIncludes supplementary material:
作者: Anthrp    時間: 2025-3-23 03:48

作者: padding    時間: 2025-3-23 06:57

作者: 鴿子    時間: 2025-3-23 13:25
第4樓
作者: 咯咯笑    時間: 2025-3-23 17:00
第4樓
作者: nominal    時間: 2025-3-23 18:27
5樓
作者: CRAFT    時間: 2025-3-23 23:23
5樓
作者: cunning    時間: 2025-3-24 05:45
5樓
作者: 蚊子    時間: 2025-3-24 10:22
5樓
作者: 過份艷麗    時間: 2025-3-24 14:28
6樓
作者: Mechanics    時間: 2025-3-24 15:18
6樓
作者: 高歌    時間: 2025-3-24 19:11
6樓
作者: paragon    時間: 2025-3-25 00:41
6樓
作者: 勉勵    時間: 2025-3-25 04:51
7樓
作者: 心神不寧    時間: 2025-3-25 07:50
7樓
作者: OFF    時間: 2025-3-25 15:16
7樓
作者: 較早    時間: 2025-3-25 18:57
7樓
作者: CRUMB    時間: 2025-3-25 23:10
8樓
作者: 流眼淚    時間: 2025-3-26 02:53
8樓
作者: hyperuricemia    時間: 2025-3-26 06:25
8樓
作者: hauteur    時間: 2025-3-26 08:59
8樓
作者: –scent    時間: 2025-3-26 14:23
9樓
作者: 刻苦讀書    時間: 2025-3-26 20:36
9樓
作者: BRACE    時間: 2025-3-26 23:59
9樓
作者: 轎車    時間: 2025-3-27 04:20
9樓
作者: 乞丐    時間: 2025-3-27 06:43
10樓
作者: Ossification    時間: 2025-3-27 12:21
10樓
作者: SSRIS    時間: 2025-3-27 15:11
10樓
作者: FUSE    時間: 2025-3-27 20:09
10樓




歡迎光臨 派博傳思國際中心 (http://www.pjsxioz.cn/) Powered by Discuz! X3.5
丰城市| 舞钢市| 梅河口市| 洛南县| 北票市| 高雄县| 马公市| 凭祥市| 普格县| 建平县| 孟村| 隆回县| 鄂州市| 三门峡市| 柘城县| 清远市| 重庆市| 墨竹工卡县| 许昌市| 尉氏县| 丰镇市| 阜平县| 雷山县| 芒康县| 临武县| 大埔区| 阜阳市| 突泉县| 东平县| 平谷区| 韶山市| 新巴尔虎左旗| 察隅县| 新和县| 泗洪县| 礼泉县| 桐庐县| 郴州市| 兴国县| 惠东县| 都江堰市|