-
-
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
Lecture Notes in Computer Science 13550
-
Herausgegeben:Schlingloff, Bernd-Holger
Chai, Ming
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2022. 2022. xvii
-
税込価格：
15,237円
海外在庫あり
通常２～５週間で出荷
-
-
Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Studies in Computational Intelligence 1091
-
Herausgegeben:Schlingloff, Bernd-Holger
Vogel, Thomas
Skowron, Andrzej
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2023年 00月
装丁：HRD
版次：1st ed. 2023. 2023. xii
-
税込価格：
37,514円
海外在庫あり
通常２～５週間で出荷
