-
-
Rigorous State-Based Methods
7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings
Lecture Notes in Computer Science 12071
-
Herausgegeben:Raschke, Alexander
Mé
ry, Dominique
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
版次：1st ed. 2020. 2020. xii
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
-
-
Logic, Computation and Rigorous Methods
Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Lecture Notes in Computer Science 12750
-
Herausgegeben:Raschke, Alexander
Riccobene, Elvinia
Schewe, Klaus-Dieter
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2021. 2021. xvi
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
-
-
Rigorous State-Based Methods
8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
Lecture Notes in Computer Science 12709
-
Herausgegeben:Raschke, Alexander
Mé
ry, Dominique
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. x
-
税込価格：
14,225円
海外在庫あり
通常２～５週間で出荷
