Ford
发表于 2025-3-21 18:24:52
书目名称ZB 2002: Formal Specification and Development in Z and B影响因子(影响力)<br> http://impactfactor.cn/2024/if/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B影响因子(影响力)学科排名<br> http://impactfactor.cn/2024/ifr/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B网络公开度<br> http://impactfactor.cn/2024/at/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B网络公开度学科排名<br> http://impactfactor.cn/2024/atr/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B被引频次<br> http://impactfactor.cn/2024/tc/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B被引频次学科排名<br> http://impactfactor.cn/2024/tcr/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B年度引用<br> http://impactfactor.cn/2024/ii/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B年度引用学科排名<br> http://impactfactor.cn/2024/iir/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B读者反馈<br> http://impactfactor.cn/2024/5y/?ISSN=BK1060398<br><br> <br><br>书目名称ZB 2002: Formal Specification and Development in Z and B读者反馈学科排名<br> http://impactfactor.cn/2024/5yr/?ISSN=BK1060398<br><br> <br><br>
lobster
发表于 2025-3-21 20:57:41
ZB 2002: Formal Specification and Development in Z and B978-3-540-45648-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
玉米棒子
发表于 2025-3-22 02:33:40
0302-9743 Overview: Includes supplementary material: 978-3-540-43166-4978-3-540-45648-3Series ISSN 0302-9743 Series E-ISSN 1611-3349
left-ventricle
发表于 2025-3-22 06:39:27
http://reply.papertrans.cn/107/10604/1060398/1060398_4.png
gratify
发表于 2025-3-22 11:37:09
https://doi.org/10.1007/3-540-45648-1B method; Formal methods; UML; Z notation; formal specification; formal verification; software constructio
冷峻
发表于 2025-3-22 15:42:39
Didier Bert,Jonathan P. Bowen,Ken RobinsonIncludes supplementary material:
wreathe
发表于 2025-3-22 18:33:58
ZB 2002: Formal Specification and Development in Z and B2nd International Co
TOXIC
发表于 2025-3-22 21:21:42
http://reply.papertrans.cn/107/10604/1060398/1060398_8.png
Palter
发表于 2025-3-23 03:48:31
http://reply.papertrans.cn/107/10604/1060398/1060398_9.png
Fissure
发表于 2025-3-23 08:53:50
http://reply.papertrans.cn/107/10604/1060398/1060398_10.png