预订 Formal Methods and Software Engineering [ISBN:97830303240 【全球购】进口原版图书,约5-8周到达国内后发出
¥431.00
预订 Implicit and Explicit Semantics Integration in Proof-Base 【全球购】进口原版图书,约5-8周到达国内后发出
¥1083
预订 Theoretical Aspects of Software Engineering: 16th Interna 【全球购】进口原版图书,约5-8周到达国内后发出
¥788.00
【预订】Implicit and Explicit Semantics Integration in Proof-Bas 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811550560 Author 作者 Yamine Ait-Ameur Format 版本 平装-胶订 Pages Number 页数 346页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-07-28 Language 语种 其它(含多语) Book Contents 内容简介 This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics.The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: doma
¥1040
按需印刷Multi-Criteria Supply Chain Network Design Under Uncerta 预订,预计下单后2-3周左右发货!
¥1323
海外直订Abstract State Machines, Alloy, B, Tla, VDM, and Z: 4th
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Model and Data Engineering: 4th International Conference
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Implicit and Explicit Semantics Integration in Proof Bas 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789811550539 Author 作者 Yamine Ait-Ameur Format 版本 精装 Pages Number 页数 332页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-09-02 Language 语种 英语 Book Contents 内容简介 This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics.The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledg
¥1022
【预订】Theoretical Aspects of Software Engineering 978303110362 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031103629 Author 作者 Yamine A?t-Ameur Format 版本 平装-胶订 Pages Number 页数 426页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-07-20 Language 语种 其它(含多语)
¥807.00
【预售 按需印刷】Multi-Criteria Supply Chain Network Desig 北京发货,付款后10天内发货
¥1323
预订Multi-Criteria Supply Chain Network Design Under Uncertain 【全球购】进口原版图书,约5-8周到达国内后发出
¥900.00
预订 Abstract State Machines, Alloy, B, Tla, VDM, and Z 978366 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662436516 作者: Yamine Ait Ameur 装帧: 平装-胶订 页数: 336页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2014-05-21 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the thoroughly refereed proceedings of the 4th Interna
¥691.00
海外直订Multi-Criteria Supply Chain Network Design Under Uncerta
¥815.00
明星店铺 中华商务进口图书旗舰店