-
-
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
-
Schlingloff, Bernd-Holger (EDT)
Vogel, Thomas (EDT)
Skowron, Andrzej (EDT)
-
出版社：Springer International Publishing Ag
出版年月：2024年 05月
装丁：PAP
言語：ENG
-
税込価格：
37,514円
海外在庫あり
通常２～５週間で出荷
-
-
ソフトウエア工学のための形式的手法（テキスト）
Formal Methods for Software Engineering
Languages, Methods, Application Domains
-
Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
-
出版社：Springer
出版年月：2022年 03月
装丁：HRD
言語：ENG
-
税込価格：
17,582円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Texts in Theoretical Computer Science. An EATCS Series
-
Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2023年 00月
装丁：PAP
版次：1st ed. 2022. 2023. xxviii
-
税込価格：
12,893円
海外在庫あり
通常２～５週間で出荷
