【预订】Abstract State Machines, Alloy, B and Z 9783642118104 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642118104 Author 作者 Frappier Format 版本 平装-胶订 Pages Number 页数 416页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-03-02 Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 Constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. This book presents the 26 full papers that were reviewed and selected from 60 submissions. It also contains two invited talks and abstracts of 18 short papers.
¥608.00
【预订】Abstract State Machines 2003: Advances in Theory and Pra 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540006244 Author 作者 B?rger Format 版本 平装-胶订 Pages Number 页数 436页 Publication Date 出版日期 2003-02-21 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
¥608.00
【预订】Abstract State Machines, Alloy, B, TLA, VDM, and Z 97833 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319912707 Author 作者 Butler Format 版本 平装-胶订 Pages Number 页数 432页 Publication Date 出版日期 2018-05-08 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
¥608.00
【预订】Abstract State Machines, Alloy, B, VDM, and Z: Third 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Abstract State Machines 2004. Advances in Theory and Pra 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540220947 Author 作者 Zimmermann Format 版本 平装-胶订 Pages Number 页数 240页 Publication Date 出版日期 2004-05-11 Language 语种 英语
¥608.00
【预订】Abstract State Machines, Alloy, B, TLA, VDM, and Z 97836 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Abstract State Machines, Alloy, B, TLA, VDM, and Z 97833 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Abstract State Machines, B and Z: First International Co 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Abstract State Machines - Theory and Applications: Inter 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Abstract State Machines: A Method for High-Level System 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 Abstract State Machines, Alloy, B, VDM, and Z: Third Inte 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
【3-6周达】Abstract State Machines, B and Z: First International 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Abstract State Machines - Theory and Applications: Inter
¥549.00
海外直订Abstract State Machines, Alloy, B and Z 抽象状态机，合金，B和Z
¥553.00
预订 Abstract State Machines: A Method for High-Level System D 【全球购】进口原版图书，约3-6周到达国内后发出
¥638.00
海外直订Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th
¥552.00
预订 Abstract State Machines 2003: Advances in Theory and Prac 【全球购】进口原版图书，约3-6周到达国内后发出
¥479.00
预订 Abstract State Machines - Theory and Applications: Intern 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥645.00
海外直订Abstract State Machines 2003: Advances in Theory and Pra
¥553.00
3-6周达 Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th
¥553.00
海外直订Abstract State Machines, Alloy, B, Tla, VDM, and Z: 6th
¥627.00
【3-6周达】Abstract State Machines, Alloy, B and Z [ISBN:9783642 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Abstract State Machines 2004. Advances in Theory and Pra
¥553.00
预订 Abstract State Machines 2004. Advances in Theory and Prac 【全球购】进口原版图书，一般5-8周左右到国内
¥639.00
3-6周达 Abstract State Machines, Alloy, B, TLA, VDM, and Z [IS 【全球购】进口原版图书，预计3-6周左右到国内
¥511.00
预订 Abstract State Machines: A Method for High-Level System D 【全球购】进口原版图书，一般5-8周左右到国内
¥653.00
3-6周达 Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
按需印刷Model Checking Abstract State Machines 预订，预计下单后2-3周左右发货！
¥1331
【预售 按需印刷】Model Checking Abstract State Machines
¥1131.35
