TRAWL 发表于 2025-3-28 16:48:04

http://reply.papertrans.cn/83/8247/824681/824681_41.png

无畏 发表于 2025-3-28 21:38:10

http://reply.papertrans.cn/83/8247/824681/824681_42.png

Mendicant 发表于 2025-3-29 02:39:35

http://reply.papertrans.cn/83/8247/824681/824681_43.png

Infirm 发表于 2025-3-29 03:10:18

http://reply.papertrans.cn/83/8247/824681/824681_44.png

征税 发表于 2025-3-29 08:18:36

http://reply.papertrans.cn/83/8247/824681/824681_45.png

平躺 发表于 2025-3-29 13:50:33

John Derrick BSc, DPhil,Eerke Boiten Ir, PhDnalyse unterstützt werden...Das sehr nutzerfreundliche Interface sowie die wichtigsten graphischen und analytischen Tools werden vorgestellt und ausführlich beschrieben...In die Einführung sind mehrjährige Erfahrungen mit dem Einsatz von Fa978-3-540-30944-4978-3-540-30945-1

凶猛 发表于 2025-3-29 16:14:01

http://reply.papertrans.cn/83/8247/824681/824681_47.png

persistence 发表于 2025-3-29 19:51:39

http://reply.papertrans.cn/83/8247/824681/824681_48.png

Badger 发表于 2025-3-30 01:10:33

http://reply.papertrans.cn/83/8247/824681/824681_49.png

作茧自缚 发表于 2025-3-30 06:52:13

http://reply.papertrans.cn/83/8247/824681/824681_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke Boiten Book 20011st edition Springer-Verlag London 2001 Formal Method