Verification, Model Checking, and Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proce
暫譯: 驗證、模型檢查與抽象解釋：第21屆國際會議 Vmcai 2020，紐奧良，美國，2020年1月16日至21日，會議論文集
Beyer, Dirk, Zufferey, Damien
- 出版商: Springer
- 出版日期: 2020-02-07
- 售價: $3,750
- 貴賓價: 9.5 折 $3,563
- 語言: 英文
- 頁數: 471
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030393216
- ISBN-13: 9783030393212
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第21屆國際驗證、模型檢查與抽象解釋會議（VMCAI 2020）的會議紀錄。本卷中所呈現的21篇論文是從44篇投稿中精心審核而來。VMCAI 為來自驗證、模型檢查和抽象解釋領域的研究人員提供了一個論壇，促進這些領域及相關領域之間的互動、交叉融合和混合方法的進步。
