预订 Dependable Software Engineering. Theories, Tools, and App 【全球购】进口原版图书,约5-8周到达国内后发出
¥616.00
预订 Formal Methods and Software Engineering [ISBN:97830303240 【全球购】进口原版图书,约5-8周到达国内后发出
¥435.00
预订 Unifying Theories of Programming [ISBN:9783642166891] 【全球购】进口原版图书,约5-8周到达国内后发出
¥577.00
【预订】Dependable Software Engineering. Theories, Tools, and Ap 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030912642 Author 作者 Shengchao Qin Format 版本 平装-胶订 Pages Number 页数 321页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1050g Language 语种 其它(含多语) Book Contents 内容简介 This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
¥780.00
海外直订Unifying Theories of Programming: Third International Sy
¥553.00