Motion 发表于 2025-3-21 17:44:18

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

Chauvinistic 发表于 2025-3-21 22:23:53

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodo978-3-031-75387-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

不知疲倦 发表于 2025-3-22 02:53:52

https://doi.org/10.1007/978-3-031-75387-9architecture verification and validation; artificial intelligence; computer programming; distributed co

FAWN 发表于 2025-3-22 05:21:51

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/589444.jpg

consolidate 发表于 2025-3-22 11:56:51

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodo12th International S

使熄灭 发表于 2025-3-22 16:49:32

http://reply.papertrans.cn/59/5895/589444/589444_6.png

Vo2-Max 发表于 2025-3-22 17:39:52

http://reply.papertrans.cn/59/5895/589444/589444_7.png

价值在贬值 发表于 2025-3-22 23:40:41

http://reply.papertrans.cn/59/5895/589444/589444_8.png

Fecundity 发表于 2025-3-23 04:33:29

http://reply.papertrans.cn/59/5895/589444/589444_9.png

Panther 发表于 2025-3-23 07:23:34

10楼
页: [1] 2 3 4
查看完整版本: Titlebook: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodo; 12th International S Tiziana Margaria