Breach 发表于 2025-3-26 21:13:57

http://reply.papertrans.cn/64/6359/635874/635874_31.png

荧光 发表于 2025-3-27 02:54:57

http://reply.papertrans.cn/64/6359/635874/635874_32.png

GLOSS 发表于 2025-3-27 06:56:51

Tong Huang,Nan Mu,Haoyang Xing,Xiaoning Linsas formal, mathematical quantities..This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a me978-3-030-73486-2978-3-030-73484-8Series ISSN 1431-2654 Series E-ISSN 2193-2069

exacerbate 发表于 2025-3-27 09:53:32

http://reply.papertrans.cn/64/6359/635874/635874_34.png

胆汁 发表于 2025-3-27 15:32:16

http://reply.papertrans.cn/64/6359/635874/635874_35.png

值得 发表于 2025-3-27 21:02:07

http://reply.papertrans.cn/64/6359/635874/635874_36.png
页: 1 2 3 [4]
查看完整版本: Titlebook: Model-Based Safety and Assessment; 5th International Sy Marco Bozzano,Yiannis Papadopoulos Conference proceedings 2017 Springer Internation