预订 Large-Scale Complex It Systems. Development, Op... 978364
海外仓库发货,通常付款后4-9周到货!
/ 2012-09-14
/ Springer
图书信息 书号: 9783642340581 作者: Radu Calinescu 装帧: 平装-胶订 页数: 415页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-09-14 重量: 1g 语种: 其它(含多语) 内容简介 This book presents the thoroughly refereed and revised post-workshop proceedin
¥743.00
【预订】Software Engineering and Formal Methods 9783319229683
美国库房发货,通常付款后3-5周到货!
/ 2015-08-21
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783319229683 Author 作者 Calinescu Format 版本 平装-胶订 Pages Number 页数 369页 Publication Date 出版日期 2015-08-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 587g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
¥520.00
【预订】Software Engineering for Resilient Systems 9783030308551
美国库房发货,通常付款后3-5周到货!
/ 2019-10-31
Product Details 基本信息 ISBN-13 书号 9783030308551 Author 作者 Radu Calinescu Format 版本 平装-胶订 Pages Number 页数 157页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-10-31 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.3 cm Shipping Weight 商品重量 540g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.
¥501.00
预订 Foundations of Computer Software 9783642212918
海外仓库发货,通常付款后4-9周到货!
/ 2011-05-23
/ Springer
图书信息 书号: 9783642212918 作者: Radu Calinescu 装帧: 平装-胶订 页数: 238页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2011-05-23 重量: 1g 语种: 其它(含多语) 内容简介 This book presents the thoroughly refereed and revised post-workshop proceedin
¥880.00
【预订】Large-Scale Complex IT Systems. Development, Operation a
国外库房发货,通常付款后3-5周到货!
/ 2012-09-14
Product Details 基本信息 ISBN-13 书号 9783642340581 Author 作者 Calinescu Format 版本 平装-胶订 Pages Number 页数 417页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-09-14 Product Dimensions 商品尺寸 9 x 6.1 x 0.9 cm Shipping Weight 商品重量 658g Language 语种 英语 Book Contents 内容简介 This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012.The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews.
¥520.00