Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Lecture Notes in Computer Science 14933

Herausgegeben:Platzer, Andr&eacute Rozier, Kristin Yvonne

出版社：Springer, Berlin; Springer Nature Switzerland; FM COM 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xx

税込価格：

9,429円

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

Automated Deduction - CADE 28

28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Lecture Notes in Computer Science 12699

Herausgegeben:Platzer, Andr&eacute Sutcliffe, Geoff

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

税込価格：

9,429円

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