搭话
发表于 2025-3-21 18:15:16
书目名称Unifying Theories of Programming and Formal Engineering Methods影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK0942063<br><br> <br><br>书目名称Unifying Theories of Programming and Formal Engineering Methods读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK0942063<br><br> <br><br>
geometrician
发表于 2025-3-21 20:26:14
http://reply.papertrans.cn/95/9421/942063/942063_2.png
拔出
发表于 2025-3-22 00:59:03
http://reply.papertrans.cn/95/9421/942063/942063_3.png
开始从未
发表于 2025-3-22 06:54:11
Ethan K. Jackson,Wolfram Schultey theory.This text introduces the innovation of regarding sy.The most important invariant of a topological space is its fundamental group. When this is trivial, the resulting homotopy theory is well researched and familiar. In the general case, however, homotopy theory over nontrivial fundamental gr
Adherent
发表于 2025-3-22 08:58:09
Unifying Theories of Programming in Isabelle,This is a tutorial introduction to the two most basic theories in Hoare & He’s Unifying Theories of Programming and their mechanisation in the Isabelle interactive theorem prover. We describe the theories of relations and of designs (pre-postcondition pairs), interspersed with their formalisation in Isabelle and example mechanised proofs.
COKE
发表于 2025-3-22 13:43:24
Zhiming Liu,Jim Woodcock,Huibiao ZhuThoroughly revised tutorial lectures.Aimed at postgraduate students, researchers, academics, and industrial engineers.Presents state of the art in Unifying Theories of Programming and Formal Engineeri
轻快带来危险
发表于 2025-3-22 18:39:19
http://reply.papertrans.cn/95/9421/942063/942063_7.png
infarct
发表于 2025-3-22 22:40:49
Unifying Theories of Programming and Formal Engineering Methods978-3-642-39721-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
sulcus
发表于 2025-3-23 04:04:39
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems,gives comprehensive definitions of timed automata, priced (or weighted) timed automata, timed games, stochastic timed automata and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking.
miracle
发表于 2025-3-23 07:45:19
http://reply.papertrans.cn/95/9421/942063/942063_10.png