False-Negative 发表于 2025-3-21 17:12:00

书目名称Formal Verification of Object-Oriented Software影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0345956<br><br>        <br><br>书目名称Formal Verification of Object-Oriented Software读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0345956<br><br>        <br><br>

束缚 发表于 2025-3-21 20:57:56

第145956主题贴--第2楼 (沙发)

Infelicity 发表于 2025-3-22 01:03:53

板凳

要塞 发表于 2025-3-22 06:36:21

第4楼

群居动物 发表于 2025-3-22 10:50:01

5楼

玩笑 发表于 2025-3-22 15:27:43

6楼

玩笑 发表于 2025-3-22 19:18:27

7楼

来这真柔软 发表于 2025-3-23 00:32:37

8楼

Immortal 发表于 2025-3-23 04:09:48

9楼

Ledger 发表于 2025-3-23 07:43:23

10楼
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Formal Verification of Object-Oriented Software; International Confer Bernhard Beckert,Claude Marché Conference proceedings 2011 Springer B