Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Lecture Notes in Computer Science 11990

Herausgegeben von Beyer, Dirk Zufferey, Damien

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. xiv

税込価格：

19,298円

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

Numerical Software Verification

12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

Lecture Notes in Computer Science .11652

Herausgegeben von Zamani, Majid Zufferey, Damien

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. xv

税込価格：

12,060円

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