Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Lecture Notes in Computer Science 14681
Ganesh, Vijay
Herausgegeben:Gurfinkel, Arie
- 出版社：Springer, Berlin; Springer Nature Switzerland; Coomun
- 出版年月：2024年 00月
- ISBN：9783031656262
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2024. 2024. xiv
- 巻数・ページ数：500 p.