Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Qc, Canada, July 24-27, 2024, Proceedings, Part I
暫譯: 計算機輔助驗證：第36屆國際會議，CAV 2024，蒙特利爾，QC，加拿大，2024年7月24-27日，會議論文集，第一部分
Gurfinkel, Arie, Ganesh, Vijay
- 出版商: Springer
- 出版日期: 2024-07-26
- 售價: $2,200
- 貴賓價: 9.5 折 $2,090
- 語言: 英文
- 頁數: 498
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031656261
- ISBN-13: 9783031656262
海外代購書籍(需單獨結帳)
商品描述
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24-27, 2024.
The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
商品描述(中文翻譯)
這套開放存取的三卷書是第36屆國際計算機輔助驗證會議（CAV 2024）的會議紀錄，該會議於2024年7月24日至27日在加拿大蒙特利爾舉行。
CAV的主要焦點是通過擴展到安全性、量子計算和機器學習等新領域，來拓展驗證技術的前沿。
