Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science)
暫譯: 驗證、模型檢查與抽象解釋：第20屆國際會議，VMCAI 2019，葡萄牙卡斯凱什，2019年1月13日至15日，會議論文集（計算機科學講義）

Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2019-01-11
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 602
  • 裝訂: Paperback
  • ISBN: 3030112446
  • ISBN-13: 9783030112448
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, 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 62 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 transformation, optimization, and hybrid and cyber-physical systems.

商品描述(中文翻譯)

本書為2019年1月在葡萄牙卡斯凱什舉行的第20屆國際驗證、模型檢查與抽象解釋會議（VMCAI 2019）的經過審核的會議論文集。

本次會議共呈現27篇完整論文，並附有3篇受邀主題演講的摘要，這些論文是從62篇投稿中仔細審核和選出的。VMCAI涵蓋的主題包括：程式驗證、模型檢查、抽象解釋、程式合成、靜態分析、類型系統、推理方法、程式認證、決策程序、定理證明、除錯技術、程式轉換、優化，以及混合和網路物理系統。

類似商品