Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)
暫譯: 自動化技術驗證與分析：第十六屆國際研討會 ATVA 2018，洛杉磯，加州，美國，2018年10月7-10日，會議論文集（計算機科學講義）
- 出版商: Springer
- 出版日期: 2018-09-30
- 售價: $2,320
- 貴賓價: 9.5 折 $2,204
- 語言: 英文
- 頁數: 576
- 裝訂: Paperback
- ISBN: 3030010899
- ISBN-13: 9783030010898
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第24屆自動化技術驗證與分析國際研討會（ATVA 2018）的經過審稿的會議論文集，該會議於2018年10月在美國加州洛杉磯舉行。
本次會議共呈現了27篇完整論文、5篇短文及3場特邀演講，這些論文是從82篇投稿中經過仔細審查和選出的。
本研討會致力於促進自動化分析、驗證和合成的理論與實踐研究，為區域與國際研究社群及業界提供互動的論壇。
