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円

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

Logic, Language, Information, and Computation

27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings

Lecture Notes in Computer Science 13038

Herausgegeben:Silva, Alexandra Wassermann, Renata De Queiroz, Ruy

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

税込価格：

17,644円

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