Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding
暫譯: 驗證、模型檢查與抽象解釋：第26屆國際會議 Vmcai 2025，2025年1月20-21日，美國科羅拉多州丹佛市，會議論文集

Shankaranarayanan, Krishna, Sankaranarayanan, Sriram, Trivedi, Ashutosh

Verification, Model Checking, and Abstract Interpretation: 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceeding
  • 出版商: Springer
  • 出版日期: 2025-01-23
  • 售價: $2,970
  • 貴賓價: 9.5 折 $2,822
  • 語言: 英文
  • 頁數: 254
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031827023
  • ISBN-13: 9783031827020
  • 相關分類: Computer-Science

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

相關主題

商品描述

類似商品