polysomnography 发表于 2025-3-21 18:32:10

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

结果 发表于 2025-3-21 21:54:31

http://reply.papertrans.cn/23/2205/220444/220444_2.png

芦笋 发表于 2025-3-22 04:12:36

http://reply.papertrans.cn/23/2205/220444/220444_3.png

innate 发表于 2025-3-22 07:15:07

Proof-Outlines for Threads in JavaWe introduce an assertional method for specifying and proving properties of the multi-threaded flow of control in Java. The method integrates in a modular manner reasoning about the shared-variable concurrency within one object and the communication of values between threads.

projectile 发表于 2025-3-22 09:05:16

http://reply.papertrans.cn/23/2205/220444/220444_5.png

condescend 发表于 2025-3-22 14:16:38

http://reply.papertrans.cn/23/2205/220444/220444_6.png

condescend 发表于 2025-3-22 20:30:32

http://reply.papertrans.cn/23/2205/220444/220444_7.png

promote 发表于 2025-3-22 23:09:51

http://reply.papertrans.cn/23/2205/220444/220444_8.png

Intersect 发表于 2025-3-23 05:19:48

http://reply.papertrans.cn/23/2205/220444/220444_9.png

夜晚 发表于 2025-3-23 08:25:36

http://reply.papertrans.cn/23/2205/220444/220444_10.png
页: [1] 2 3 4 5 6
查看完整版本: Titlebook: CONCUR 2000 - Concurrency Theory; 11th International C Catuscia Palamidessi Conference proceedings 2000 Springer-Verlag Berlin Heidelberg 2