-
-
Modeling Companion for Software Practitioners
-
Börger, Egon
Raschke, Alexander
-
出版社：Springer
出版年月：2018年 04月
装丁：PAP
-
税込価格：
15,411円
海外在庫あり
通常２～５週間で出荷
-
-
Federlegierungen aus NE-Metallen
Übersetzung aus dem Russischen
-
Pastuchova, Zanna P.
Raschke, Manfred (TRN)
Rachstadt, Alexander G.
-
出版社：Springer Verlag
出版年月：2012年 02月
装丁：PAP
言語：GER
-
税込価格：
12,186円
海外在庫あり
通常２～５週間で出荷
-
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
Lecture Notes in Computer Science .10817
-
Herausgegeben von Butler, Michael
Raschke, Alexander
Hoang, Thai Son
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xiv
-
税込価格：
11,853円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
