【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540436317 Author 作者 Cortesi Format 版本 平装-胶订 Pages Number 页数 331页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-04-24 Language 语种 英语
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319737201 Author 作者 Dillig Format 版本 平装-胶订 Pages Number 页数 540页 Publication Date 出版日期 2018-01-10 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 848g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial? were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program trans
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540697350 Author 作者 Byron Cook Microsoft Research Ltd. Cambridge UK Format 版本 平装-胶订 Pages Number 页数 395页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-01-03 Language 语种 英语 Book Contents 内容简介 The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007.
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
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,
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540311393 Author 作者 Emerson Format 版本 平装-胶订 Pages Number 页数 443页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-12-19 Language 语种 英语 Book Contents 内容简介 The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030393212 Author 作者 Dirk Beyer Format 版本 平装-胶订 Pages Number 页数 471页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-02-07 Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.The 21 papers presented in this volume were carefully reviewed from 44 submissions.VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
¥974.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642358722 Author 作者 Giacobazzi Format 版本 平装-胶订 Pages Number 页数 556页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-01-07 Shipping Weight 商品重量 860g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program trans
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540781622 Author 作者 Francesco Logozzo Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-02-26 Shipping Weight 商品重量 522g Language 语种 英语 Book Contents 内容简介 This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540208037 Author 作者 Steffen Format 版本 平装-胶订 Pages Number 页数 325页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-01-07 Language 语种 英语
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030670665 Format 版本 平装-胶订 Pages Number 页数 604页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-12-01 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.2 cm Shipping Weight 商品重量 1890g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic.The 23 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers workingon verification, model checking, and abstract interpretation and facilitatesinteraction, cross-fertilization, and advancement of hybrid methods that
¥1094
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540938996 Author 作者 Neil Jones Rungsted Kyst Denmark Format 版本 平装-胶订 Pages Number 页数 381页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-18 Shipping Weight 商品重量 605g Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the 10th International Conference on Verication, Model Checking, and Abstract Interpretation (VMCAI 2009), held in Savannah, Georgia, USA, January 18–20, 2009. VMCAI 2009 was the 10th in a series of meetings. Previous meetings were heldinPortJe?erson1997,Pisa1998,Venice2002,NewYork2003,Venice2004, Paris 2005, Charleston 2006, Nice 2007, and San Francisco 2008. VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri?cation, model checking, and abstract interpretation. A goal is to f
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642182747 Author 作者 Jhala Format 版本 平装-胶订 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2011-01-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis,
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031505201 Author 作者 Rayna Dimitrova Format 版本 平装-胶订 Pages Number 页数 329页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-01-14 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.75 Shipping Weight 商品重量 1.11磅 Language 语种 其它（含多语） Book Contents 内容简介 The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural net
¥912.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540242970 Author 作者 Cousot Format 版本 平装-胶订 Pages Number 页数 483页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-01-13 Language 语种 英语
¥608.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030945824 Author 作者 Bernd Finkbeiner Format 版本 平装-胶订 Pages Number 页数 null页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-01-31 Product Dimensions 商品尺寸 9.21 x 6.14 x 1.07 Shipping Weight 商品重量 1.62 Language 语种 其它（含多语）
¥1094
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，预计3-6周左右到国内
¥685.00
【3-6周达】Verification, Model Checking, and Abstract Interpreta 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥753.00
预订 Verification, Model Checking, and Abstract Interpretation 国外库房发货，通常付款后3-5周到货
¥706.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥629.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥794.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Verification, Model Checking, and Abstract Interpretation 国外库房发货，通常付款后3-5周到货
¥706.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥534.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，预计3-6周左右到国内
¥674.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥639.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥643.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥534.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，预计3-6周左右到国内
¥674.00
预订 Verification, Model Checking, and Abstract Interpretation 【全球购】进口原版图书，约3-6周到达国内后发出
¥865.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
预订 Verification, Model Checking, and Abstract Interpretation 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥643.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥643.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
【预订】Verification, Model Checking, and Abstract Interpretatio 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031249495 Author 作者 Cezara Dragoi Format 版本 平装-胶订 Pages Number 页数 391页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-02-11 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.82 Shipping Weight 商品重量 1.23 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transfo
¥803.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【3-6周达】Verification, Model Checking, and Abstract Interpreta 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥765.00
预订 Verification, Model Checking, and Abstract Interpretation 【全球购】进口原版图书，预计3-6周左右到国内
¥893.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥897.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥553.00
3-6周达 Verification, Model Checking, and Abstract Interpretat 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Verification, Model Checking, and Abstract Interpretatio
¥534.00
