標(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樓
