【预订】Automated Technology for Verification and Analysis 97830 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030010898 Author 作者 Lahiri Format 版本 平装-胶订 Pages Number 页数 560页 Publication Date 出版日期 2018-09-30 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 24th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.
¥608.00
【预订】Automated Technology for Verification and Analysis 97830 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030591519 Format 版本 平装-胶订 Pages Number 页数 574页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-10-12 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 1800g Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions.The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; aut
¥608.00
【预订】Automated Technology for Verification and Analysis: 15th 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319681665 Author 作者 Narayan Kumar, K Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-04-10 Language 语种 英语
¥608.00
【预订】Automated Technology for Verification and Analysis: 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Automated Technology for Verification and Analysis 97833 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Automated Technology for Verification and Analysis 97835 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540755951 Author 作者 Kedar Namjoshi Format 版本 平装-胶订 Pages Number 页数 570页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-10-09 Language 语种 英语 Book Contents 内容简介 The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;
¥608.00
【预订】Automated Technology for Verification and Analysis 97830 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031453311 Author 作者 ?tienne André Format 版本 平装-胶订 Pages Number 页数 330页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-17 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures
¥912.00
【预订】Automated Technology for Verification and Analysis: 10th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Automated Technology for Verification and Analysis 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Automated Technology for Verification and Analysis 97830 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030888848 Format 版本 平装-胶订 Pages Number 页数 382页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-12 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 1230g Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions.The papers are divided into the following
¥913.00
【预订】Automated Technology for Verification and Analysis 97836 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642047602 Author 作者 Zhiming Liu The United Nations University Intern. Inst. for Format 版本 平装-胶订 Pages Number 页数 414页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-29 Shipping Weight 商品重量 652g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.
¥608.00
【预订】Automated Technology for Verification and Analysis 97835 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540472377 Author 作者 Graf Format 版本 平装-胶订 Pages Number 页数 546页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-10-10 Language 语种 英语 Book Contents 内容简介 The Automated Technology for Verication and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote research on automated veri?cation and analysis in the region by providing a forum for int- action between the regional and the international research/industrial commu- ties of the ?eld. ATVA 2006, the fourth of the ATVA series, was held in Beijing, China, October 23-26, 2006. The main topics of the symposium include th- ries useful for providing designers with automated support for o
¥608.00
【预订】Automated Technology for Verification and Analysis 97830 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031453281 Author 作者 ?tienne André Format 版本 平装-胶订 Pages Number 页数 446页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2023-11-14 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures
¥973.00
【预订】Automated Technology for Verification and Analysis 97833 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Automated Technology for Verification and Analysis: 14 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Automated Technology for Verification and Analysis: 18 【全球购】进口原版图书，预计3-6周左右到国内
¥513.00
预订 Automated Technology for Verification and Analysis: 10th 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Automated Technology for Verification and Analysis: 8th
¥553.00
3-6周达 Automated Technology for Verification and Analysis [IS 【全球购】进口原版图书，预计3-6周左右到国内
¥685.00
3-6周达 Automated Technology for Verification and Analysis [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Automated Technology for Verification and Analysis: 14th
¥546.00
海外直订Automated Technology for Verification and Analysis: 20th
¥765.00
海外直订Automated Technology for Verification and Analysis: 5th
¥553.00
3-6周达 Automated Technology for Verification and Analysis: 12 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Automated Technology for Verification and Analysis [IS 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Automated Technology for Verification and Analysis [ISBN: 【全球购】进口原版图书，约3-6周到达国内后发出
¥511.00
【3-6周达】Automated Technology for Verification and Analysis [I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Automated Technology for Verification and Analysis [IS 【全球购】进口原版图书，预计3-6周左右到国内
¥756.00
3-6周达 Automated Technology for Verification and Analysis: 8t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Automated Technology for Verification and Analysis [IS 【全球购】进口原版图书，预计3-6周左右到国内
¥674.00
海外直订Automated Technology for Verification and Analysis: 4th
¥553.00
海外直订Automated Technology for Verification and Analysis: 10th
¥553.00
海外直订Automated Technology for Verification and Analysis: 11th
¥553.00
3-6周达 Automated Technology for Verification and Analysis: 19 【全球购】进口原版图书，预计3-6周左右到国内
¥744.00
预订 Automated Technology for Verification and Analysis 国外库房发货，通常付款后3-5周到货
¥608.00
【3-6周达】Automated Technology for Verification and Analysis [I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
【预订】Automated Technology for Verification and Analysis 97830 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031199912 Author 作者 Ahmed Bouajjani Format 版本 平装-胶订 Pages Number 页数 398页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-24 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and v
¥803.00
3-6周达 Automated Technology for Verification and Analysis: 5t 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Automated Technology for Verification and Analysis 验证与分析
¥553.00
3-6周达 Automated Technology for Verification and Analysis: 15 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Automated Technology for Verification and Analysis: 12th
¥549.00
海外直订Automated Technology for Verification and Analysis: 18th
¥534.00
3-6周达 Automated Technology for Verification and Analysis: 16 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Automated Technology for Verification and Analysis: 19th
¥800.00
预订 Automated Technology for Verification and Analysis 预订商品
¥608.00
验证与分析的自动化技术 Automated technology for verification and analys 书籍非全新 85-99成新，以实拍图为准发货，介意勿拍
¥26.01定价：¥28.61 (9.1折)
2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verificatio
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
¥636.40
验证与分析的自动化技术 Automated technology for verification and analys
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
¥607.00定价：¥768.40 (7.9折)
2004年第2届国际验证与分析的自动化技术会议录（计算机科学学术讲座纪要 卷3299）Automated Technol
¥636.40
