-

-
Correct System Design
Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Lecture Notes in Computer Science .9360
-
Herausgegeben von Meyer, Roland
Platzer, André
-
出版社:Springer, Berlin; Springer International Publishing
出版年月:2015年 09月
装丁:PAP
版次:1st ed. 2015. 2015. xii
-
税込価格:
11,317円
海外在庫あり
通常2~5週間で出荷
-

-
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science 12076
-
Herausgegeben von Wehrheim, Heike
Cabot, Jordi
-
出版社:Springer, Berlin; Springer International Publishing;
出版年月:2020年 00月
装丁:PAP
版次:1st ed. 2020. 2020. xiii
-
税込価格:
9,429円
海外在庫あり
通常2~5週間で出荷
-

-
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
Lecture Notes in Computer Science 12165
-
Herausgegeben von Ahrendt, Wolfgang
Wehrheim, Heike
-
出版社:Springer, Berlin; Springer International Publishing;
出版年月:2020年 00月
装丁:PAP
版次:1st ed. 2020. 2020. xiii
-
税込価格:
11,787円
海外在庫あり
通常2~5週間で出荷