图画文字 发表于 2025-3-28 15:03:57

http://reply.papertrans.cn/16/1526/152582/152582_41.png

浮雕宝石 发表于 2025-3-28 21:36:01

http://reply.papertrans.cn/16/1526/152582/152582_42.png

无目标 发表于 2025-3-29 02:30:22

http://reply.papertrans.cn/16/1526/152582/152582_43.png

Flirtatious 发表于 2025-3-29 03:53:11

http://reply.papertrans.cn/16/1526/152582/152582_44.png

Musket 发表于 2025-3-29 07:28:45

http://reply.papertrans.cn/16/1526/152582/152582_45.png

Cleave 发表于 2025-3-29 14:37:26

http://reply.papertrans.cn/16/1526/152582/152582_46.png

Nostalgia 发表于 2025-3-29 16:19:27

http://reply.papertrans.cn/16/1526/152582/152582_47.png

excrete 发表于 2025-3-29 22:09:33

http://reply.papertrans.cn/16/1526/152582/152582_48.png

Fecundity 发表于 2025-3-30 02:09:10

http://reply.papertrans.cn/16/1526/152582/152582_49.png

评论者 发表于 2025-3-30 04:21:09

Algebraic Preliminaries,ard and for that reason the presentation will be concise. More detailed presentations with greater emphasis on motivation, exercises, and examples may be found in . The most basic assumption of work on algebraic specification is that a program is modeled as an.,that is, a set
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Algebraic Foundations of Systems Specification; Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Br Book 1999 IFIP International Federation