【预订】Computer Aided Verification 9781013271014 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271014 Author 作者 Chockler Hana Format 版本 精装 Pages Number 页数 554页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.19 Shipping Weight 商品重量 3.43 Language 语种 其它（含多语）
¥1789
【预订】Computer Aided Verification 9783319088662 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319088662 Author 作者 Biere Format 版本 平装-胶订 Pages Number 页数 877页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2014-08-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.8 cm Shipping Weight 商品重量 1371g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem provi
¥1217
【预订】Computer Aided Verification 9783540677703 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540677703 Author 作者 Emerson Format 版本 平装-胶订 Pages Number 页数 590页 Publication Date 出版日期 2000-06-28 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 12th International Conference on Computer Aided Verication (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. The CAV conferences are devoted to the advancement of the theory and practice of formal methods for hardware and software veri?cation. The con- rence covers the spectrum from theoretical foundations to concrete applications, with an emphasis on veri?cation algorithms, methods, and tools together with techniques for their implementation. The conference has traditionally drawn contributions from both researchers and practitioners in academia and industry. This year 91 regular research papers were submitted out of which 35 were - cepted, while 14 brief too
¥1217
【预订】Computer Aided Verification 9783319415277 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Aided Verification 9781013271168 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271168 Author 作者 Tasiran Serdar Format 版本 平装-胶订 Pages Number 页数 680页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.36 Shipping Weight 商品重量 3.42 Language 语种 其它（含多语）
¥1892
【预订】Computer Aided Verification 9781013271007 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271007 Author 作者 Chockler Hana Format 版本 平装-胶订 Pages Number 页数 554页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.12 Shipping Weight 商品重量 2.79 Language 语种 其它（含多语）
¥1640
【预订】Computer Aided Verification 9783540733676 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540733676 Author 作者 Werner Damm Format 版本 平装-胶订 Pages Number 页数 562页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-07-02 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the International Conference on C- puter Aided Verication (CAV), held in Berlin, Germany, July 3–7, 2007. CAV 2007 was the 19th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 134 regular paper submissions and 39 tool paper submissions. Of these, the ProgramCommittee selected 33 regularpaper
¥608.00
【预订】Computer-Aided Verification 美国库房发货，通常付款后3-5周到货！
¥1825
【预售 按需印刷】Computer Aided Verification 北京发货，付款后10天内发货
¥789.00
【预订】Computer Aided Verification 9783540662020 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540662020 Author 作者 Halbwachs Format 版本 平装-胶订 Pages Number 页数 506页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-06-23 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV’99, held in Trento, Italy in July 1999 as part of FLoC’99.The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
¥608.00
【预订】Computer Aided Verification 9781013270987 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013270987 Author 作者 Weissenbacher Georg Format 版本 平装-胶订 Pages Number 页数 710页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.42 Shipping Weight 商品重量 3.56 Language 语种 其它（含多语）
¥1975
【预订】Computer Aided Verification 9783540423454 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540423454 Author 作者 Berry Format 版本 平装-胶订 Pages Number 页数 522页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2001-07-04 Language 语种 英语
¥1217
【预订】Computer-Aided Verification of Coordinating Processes: T 美国库房发货，通常付款后3-5周到货！
¥603.00
【预订】Computer Aided Verification 9783642221095 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642221095 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 763页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-07-05 Shipping Weight 商品重量 1163g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Fron
¥608.00
【预订】Computer Aided Verification 9783540374060 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540374060 Author 作者 Ball Format 版本 平装-胶订 Pages Number 页数 564页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-08-08 Language 语种 英语 Book Contents 内容简介 Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems
¥1217
【预订】Computer Aided Verification 9783540272311 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540272311 Author 作者 Etessami Format 版本 平装-胶订 Pages Number 页数 568页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-06-24 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the International Conference on Computer Aided Verication (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal an- ysis methods for software and hardware systems. The conference covered the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 123 submissions for regular papers and 32 submissions for tool papers.Ofthesesubmissions,theProgramCommitt
¥1217
【预订】Computer Aided Verification: 29th International Conferen 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Aided Verification 9781013270994 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013270994 Author 作者 Weissenbacher Georg Format 版本 精装 Pages Number 页数 710页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.50 Shipping Weight 商品重量 4.21 Language 语种 其它（含多语）
¥2111
【预订】Computer Aided Verification 9783540439974 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540439974 Author 作者 Brinksma Format 版本 平装-胶订 Pages Number 页数 362页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-07-19 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the conference on Computer Aided V- ication (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we r
¥1217
【预订】Computer Aided Verification 9783030532871 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030532871 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 669页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 2090g Language 语种 其它（含多语） Book Contents 内容简介 The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: m
¥486.00
【预售 按需印刷】Computer-Aided Verification of Coordinati
¥1444.15
【预订】Computer Aided Verification 9783030255428 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030255428 Author 作者 Dillig Format 版本 平装-胶订 Pages Number 页数 549页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-07-13 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 1740g Language 语种 英语 Book Contents 内容简介 The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime tech
¥608.00
【预订】Computer Aided Verification 9783642314230 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642314230 Author 作者 Parthasarathy Format 版本 平装-胶订 Pages Number 页数 789页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2012-06-27 Shipping Weight 商品重量 1199g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, an
¥608.00
【预订】Computer Aided Verification 9783030532901 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030532901 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 683页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-07-16 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.4 cm Shipping Weight 商品重量 2140g Language 语种 其它（含多语） Book Contents 内容简介 The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.Part II: mo
¥486.00
【预订】Computer Aided Verification 9783642397981 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Computer Aided Verification 9783030816872 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030816872 Author 作者 Alexandra Silva Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-08-08 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.90 Shipping Weight 商品重量 2.92 Language 语种 其它（含多语） Book Contents 内容简介 This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termina
¥486.00
【预售 按需印刷】Computer Aided Verification 北京发货，付款后10天内发货
¥659.00
【预订】Computer Aided Verification 9783642026577 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642026577 Author 作者 Ahmed Bouajjani Université Paris VII Labo. Informatique Alg Format 版本 平装-胶订 Pages Number 页数 722页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-06-19 Shipping Weight 商品重量 1116g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete appl
¥1217
【预订】Computer Aided Verification 9783540631668 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540631668 Author 作者 Grumberg Format 版本 平装-胶订 Pages Number 页数 492页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1997-06-04 Language 语种 英语 Book Contents 内容简介 This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV ’97, held in Haifa, Israel, in June 1997.The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool deions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.
¥608.00
【预订】Computer Aided Verification 9783030255398 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030255398 Author 作者 Dillig Format 版本 平装-胶订 Pages Number 页数 673页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-07-13 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.3 cm Shipping Weight 商品重量 2110g Language 语种 英语 Book Contents 内容简介 This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Thepapers were organized in the following topical sections:Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime tec
¥608.00
【预订】Computer Aided Verification 9783540705437 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540705437 Author 作者 Gupta Format 版本 平装-胶订 Pages Number 页数 558页 Publication Date 出版日期 2008-07-24 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and spec
¥1462
【预订】Computer Aided Verification 9783031377051 国外库房发货，通常付款后3-5周到货！
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.
¥486.00
【预订】Computer Aided Verification 9783540223429 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540223429 Author 作者 Alur Format 版本 平装-胶订 Pages Number 页数 536页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-29 Language 语种 英语
¥1217
【预订】Computer Aided Verification 9783540646082 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540646082 Author 作者 Hu Format 版本 平装-胶订 Pages Number 页数 552页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-06-03 Language 语种 英语 Book Contents 内容简介 This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV’98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
¥1217
【预订】Computer-Aided Verification of Coordinating Processes 97 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780691634890 Author 作者 Robert P. Kurshan Format 版本 精装 Pages Number 页数 284页 Publisher 出版社 Princeton University Press Publication Date 出版日期 2016-04-19 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 1270g Language 语种 英语 Book Contents 内容简介 Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness,
¥1622
【预订】Computer Aided Verification 9781013271144 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271144 Author 作者 Tasiran Serdar Format 版本 平装-胶订 Pages Number 页数 558页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.13 Shipping Weight 商品重量 2.81 Language 语种 其它（含多语）
¥1647
【预订】Computer Aided Verification: 29th International Conferen 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Aided Verification 9783540405245 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540405245 Author 作者 Hunt Format 版本 平装-胶订 Pages Number 页数 462页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-06-27 Language 语种 英语
¥608.00
【预订】Computer Aided Verification 9783319961415 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319961415 Author 作者 Chockler Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-22 Language 语种 英语 Book Contents 内容简介 This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probab
¥608.00
【预订】Computer Aided Verification 9783031377020 国外库房发货，通常付款后3-5周到货！
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.
¥486.00
【预订】Computer Aided Verification 9783031377082 国外库房发货，通常付款后3-5周到货！
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.
¥486.00
【预订】Computer Aided Verification 9783319415390 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Aided Verification 9783319216676 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Computer Aided Verification 9783319216898 美国库房发货，通常付款后3-5周到货！
¥608.00
【预售 按需印刷】Computer Aided Verification 北京发货，付款后10天内发货
¥774.00
【预售 按需印刷】Computer Aided Verification
¥597.55
【预售 按需印刷】Computer Aided Verification
¥558.45
【预订】Computer Aided Verification 9781013271151 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013271151 Author 作者 Tasiran Serdar Format 版本 精装 Pages Number 页数 558页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.19 Shipping Weight 商品重量 3.45 Language 语种 其它（含多语）
¥1800
【预订】Computer Aided Verification 9783319961446 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319961446 Author 作者 Chockler Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2018-07-22 Language 语种 英语 Book Contents 内容简介 This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. Thepapers cover a wide range of topics and techniques, from algorithmicand logical foundations of verification to practical applications in distributed,networked, cyber-physical, and autonomous systems.They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probab
¥608.00
海外直订Computer Aided Verification: 34th International Conferen
¥427.00
3-6周达 Computer Aided Verification: 30th International Confer 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Computer Aided Verification: 16th International Confer 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1279
预订 Computer Aided Verification [ISBN:9783319633862] 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
海外直订Computer Aided Verification 计算机辅助验证
¥552.00
海外直订Computer Aided Verification: 17th International Conferen
¥1033
海外直订Computer Aided Verification: 24th International Conferen
¥553.00
海外直订Computer Aided Verification: 25th International Conferen
¥997.00
海外直订Computer Aided Verification: 5th International Conferenc
¥553.00
按需印刷Computer Aided Verification 预订，预计下单后2-3周左右发货！
¥659.00
3-6周达 Computer Aided Verification: 14th International Confer 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1282
