寄生虫 发表于 2025-3-30 10:22:26

Integrated Formal Methods978-3-540-40911-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

浮雕宝石 发表于 2025-3-30 14:11:04

0302-9743 Overview: Includes supplementary material: 978-3-540-41196-3978-3-540-40911-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

Mnemonics 发表于 2025-3-30 17:31:34

https://doi.org/10.1007/3-540-40911-4Formal Methods; Formal Notations; Formal Specification; Formal Validation; Formal Verification; Mathemati

油膏 发表于 2025-3-30 22:36:39

http://reply.papertrans.cn/47/4686/468513/468513_54.png

Camouflage 发表于 2025-3-31 02:56:46

http://reply.papertrans.cn/47/4686/468513/468513_55.png

intimate 发表于 2025-3-31 08:00:23

http://reply.papertrans.cn/47/4686/468513/468513_56.png

LANCE 发表于 2025-3-31 11:57:09

http://reply.papertrans.cn/47/4686/468513/468513_57.png

争吵加 发表于 2025-3-31 15:22:57

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/468513.jpg

PAC 发表于 2025-3-31 20:01:24

Jeremy Bryans,Lynne Blair,Howard Bowman,John Derrick

exhilaration 发表于 2025-4-1 01:09:23

http://reply.papertrans.cn/47/4686/468513/468513_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Integrated Formal Methods; Second International Wolfgang Grieskamp,Thomas Santen,Bill Stoddart Conference proceedings 2000 Springer-Verlag