-
-
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Lecture Notes in Computer Science 13487
-
Herausgegeben:Groote, Jan Friso
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2022年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2022. 2022. x
-
税込価格：
16,886円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 12652
-
Herausgegeben:Groote, Jan Friso
Larsen, Kim Guldstrand
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxi
-
税込価格：
9,645円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 12651
-
Herausgegeben:Groote, Jan Friso
Larsen, Kim Guldstrand
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xxi
-
税込価格：
9,645円
海外在庫あり
通常２～５週間で出荷
