请叫我雷锋 发表于 2020-5-20 09:00:01

《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th In...

《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th International Conference on Abstract State Machines,Alloy, B, TLA, VDM, and Z,Toulouse, France, June 2-6, 2014 Proceedings》
ABZ 2014:起落架案例研究:案例研究轨道,在第四届抽象国家机器、合金、B、TLA、VDM和Z国际会议上举行,图卢兹,法国,2014年6月2-6日会议记录
编者:
Frédéric Boniol VirginieWiels
Yamine Ait Ameur Klaus-Dieter Schewe
出版社:Springer
出版时间:2014年






专业书籍
下载地址:(回复后可见)
**** Hidden Message *****

o0o 发表于 2020-5-20 09:00:22

谢谢啊

AUREATE 发表于 2020-5-20 11:01:53

谢谢雷锋

rockets20201 发表于 2020-5-21 18:26:28

谢谢分享

zxczxczxc 发表于 2020-5-21 20:38:19

谢谢分享。

greathun 发表于 2020-5-22 14:33:48

感谢分享

pang 发表于 2020-5-22 19:25:01

谢谢

liu_yingming 发表于 2020-6-18 18:44:33


谢谢分享

wx_lqWk5nLy 发表于 2020-7-7 16:39:23

谢谢了

X-Change 发表于 2020-7-15 16:13:05

非常的好
页: [1] 2
查看完整版本: 《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th In...