subcutaneous 发表于 2025-3-21 17:26:13

书目名称Rigorous Methods for Software Construction and Analysis影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0830394<br><br>        <br><br>书目名称Rigorous Methods for Software Construction and Analysis读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0830394<br><br>        <br><br>

CANDY 发表于 2025-3-21 23:33:25

Dimitrios S. Kolovos,Richard F. Paige,Fiona A. C. Polacke des . in einer gewissen Breite präsent war, wurde von den Jüngeren als Grundlage für die eigenen Arbeiten anerkannt. Aus seinen individuellen Verhältnissen hatte es eine Ausdrucksweise aufgebaut, deren versinnlichende Wirkung auf die deutsche lyrische Sprache, auch wo Bilder und Motive nicht übern

平静生活 发表于 2025-3-22 03:22:51

http://reply.papertrans.cn/84/8304/830394/830394_3.png

cliche 发表于 2025-3-22 04:53:16

http://reply.papertrans.cn/84/8304/830394/830394_4.png

floaters 发表于 2025-3-22 09:41:44

http://reply.papertrans.cn/84/8304/830394/830394_5.png

Neolithic 发表于 2025-3-22 13:26:14

http://reply.papertrans.cn/84/8304/830394/830394_6.png

ADORE 发表于 2025-3-22 20:02:39

http://reply.papertrans.cn/84/8304/830394/830394_7.png

无力更进 发表于 2025-3-23 00:46:33

http://reply.papertrans.cn/84/8304/830394/830394_8.png

Gorilla 发表于 2025-3-23 03:12:35

http://reply.papertrans.cn/84/8304/830394/830394_9.png

fertilizer 发表于 2025-3-23 07:33:14

http://reply.papertrans.cn/84/8304/830394/830394_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: Rigorous Methods for Software Construction and Analysis; Essays Dedicated to Jean-Raymond Abrial,Uwe Glässer Book 2009 Springer-Verlag Ber