Verification, Model Checking, and Abstract Interpretation

24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Lecture Notes in Computer Science 13881

Herausgegeben:Dragoi, Cezara Emmi, Michael Wang, Jingbo

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2023年 00月
装丁：PAP 版次：1st ed. 2023. 2023. x

税込価格：

18,093円

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

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings

Lecture Notes in Computer Science 12913

Herausgegeben:Dragoi, Cezara Mukherjee, Suvam Namjoshi, Kedar

出版社：Springer, Berlin; Springer 出版年月：2021年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2021. 2021. XIII

税込価格：

19,298円

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