马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?立即注册
x
《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年
《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th International Conference on ...
《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th International Conference on ...
《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th International Conference on ...
《ABZ 2014:The Landing Gear Case Study:Case Study Track,Held at the 4th International Conference on ...
专业书籍
下载地址:(回复后可见)
|