Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Lecture Notes in Computer Science .9583

Herausgegeben von Jobstmann, Barbara Leino, K. Rustan M.

出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2015年 12月
装丁：PAP 版次：1st ed. 2016. 2016. xiii

税込価格：

11,921円

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

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Lecture Notes in Computer Science 12760

Herausgegeben:Silva, Alexandra Leino, K. Rustan M.

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xxiii

税込価格：

9,537円

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

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

Theoretical Computer Science and General Issues 12759

Herausgegeben:Silva, Alexandra Leino, K. Rustan M.

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xxiv

税込価格：

9,537円

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