Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Lecture Notes in Computer Science 15529

Herausgegeben:Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2025年 00月
装丁：PAP 言語：ENG 版次：2025. xiv

税込価格：

13,674円

海外在庫あり 通常２～５週間で出荷

Verification, Model Checking, and Abstract Interpretation

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Lecture Notes in Computer Science 15530

Herausgegeben:Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2025年 00月
装丁：PAP 言語：ENG 版次：2025. xiv

税込価格：

13,674円

海外在庫あり 通常２～５週間で出荷