赏钱
发表于 2025-3-25 04:33:59
John Derrick,Eerke BoitenThis book is the first comprehensive introduction to refinement for the researcher or graduate student.Introduces refinement in all the major semantic models.Shows how different formal methods (Z, CSP
Restenosis
发表于 2025-3-25 09:54:50
http://reply.papertrans.cn/83/8247/824676/824676_22.png
远地点
发表于 2025-3-25 15:28:15
https://doi.org/10.1007/978-3-319-92711-4Formal methods; Refinement; Semantic models; Z, B, Event-B, CSP; Language
arterioles
发表于 2025-3-25 16:34:35
978-3-030-06497-6Springer International Publishing AG, part of Springer Nature 2018
Countermand
发表于 2025-3-25 22:06:20
http://reply.papertrans.cn/83/8247/824676/824676_25.png
灵敏
发表于 2025-3-26 01:05:23
http://reply.papertrans.cn/83/8247/824676/824676_26.png
带来墨水
发表于 2025-3-26 07:35:11
ben kann, wenn über Fehler geschwiegen wird.Crew Resource MaIn diesem Buch über Fehlermanagement demonstriert der Autor auf faszinierende Weise, wie wichtig es ist, aus Fehlern zu lernen und beschreibt praxisnah, wie dieses Konzept im Unternehmensumfeld eingesetzt werden kann. Anhand konkreter Beisp
惹人反感
发表于 2025-3-26 08:52:03
http://reply.papertrans.cn/83/8247/824676/824676_28.png
纪念
发表于 2025-3-26 15:41:12
http://reply.papertrans.cn/83/8247/824676/824676_29.png
Insubordinate
发表于 2025-3-26 20:49:15
http://reply.papertrans.cn/83/8247/824676/824676_30.png