【预订】Verification, Model Checking, and Abstract Interpretatio
美国库房发货,通常付款后3-5周到货!
/ 2019-01-11
/ 暂无出版社信息
Product Details 基本信息 ISBN-13 书号 9783030112448 Author 作者 Enea Format 版本 平装-胶订 Pages Number 页数 602页 Publication Date 出版日期 2019-01-11 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.2 cm Shipping Weight 商品重量 1890g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and AbstractInterpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, staticanalysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification,debugging techniques, program transformation,
¥520.00
【预订】Computer Aided Verification 9783031377020
国外库房发货,通常付款后3-5周到货!
/ 2023-08-14
Product Details 基本信息 ISBN-13 书号 9783031377020 Author 作者 Constantin Enea Format 版本 平装-胶订 Pages Number 页数 451页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.96 Language 语种 其它(含多语) Book Contents 内容简介 The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
¥416.00
【预订】Computer Aided Verification 9783031377082
国外库房发货,通常付款后3-5周到货!
/ 2023-08-14
Product Details 基本信息 ISBN-13 书号 9783031377082 Author 作者 Constantin Enea Format 版本 平装-胶订 Pages Number 页数 486页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.05 Language 语种 其它(含多语) Book Contents 内容简介 The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
¥416.00
【预订】Computer Aided Verification 9783031377051
国外库房发货,通常付款后3-5周到货!
/ 2023-08-14
Product Details 基本信息 ISBN-13 书号 9783031377051 Author 作者 Constantin Enea Format 版本 平装-胶订 Pages Number 页数 470页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-08-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.05 Language 语种 其它(含多语) Book Contents 内容简介 This open access proceedings set constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.
¥416.00