组成
发表于 2025-3-23 11:39:47
http://reply.papertrans.cn/59/5883/588201/588201_11.png
committed
发表于 2025-3-23 15:32:28
http://reply.papertrans.cn/59/5883/588201/588201_12.png
SENT
发表于 2025-3-23 18:59:29
http://reply.papertrans.cn/59/5883/588201/588201_13.png
CHURL
发表于 2025-3-24 01:56:46
http://reply.papertrans.cn/59/5883/588201/588201_14.png
LANCE
发表于 2025-3-24 04:32:37
Dines Bjørner,Martin Hensone generally by anyone who likes mathematical ideas. Rather than presenting detailed proofs, the main ideas are described, and a bibliography for those who wish to understand the technical details..978-3-642-07165-2978-3-540-36351-4
TIGER
发表于 2025-3-24 07:42:48
https://doi.org/10.1007/978-3-540-74107-7ASM (Abstract State Machines); Bjørner; CASL (Common Algebraic Specification Language); CafeOBJ; Duratio
协奏曲
发表于 2025-3-24 12:19:33
978-3-642-09345-6Springer-Verlag Berlin Heidelberg 2008
长处
发表于 2025-3-24 15:39:40
http://reply.papertrans.cn/59/5883/588201/588201_18.png
搏斗
发表于 2025-3-24 22:34:59
http://reply.papertrans.cn/59/5883/588201/588201_19.png
争论
发表于 2025-3-25 02:19:17
http://reply.papertrans.cn/59/5883/588201/588201_20.png