-
-
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Lecture Notes in Computer Science .9681
-
Herausgegeben von Á
brahá
m, Erika
-
出版社：Springer, Berlin; Springer International Publishing
出版年月：2016年 05月
装丁：PAP
版次：1st ed. 2016. 2016. xiii
-
税込価格：
19,298円
海外在庫あり
通常２～５週間で出荷
-
-
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science .10202
-
Herausgegeben von Huisman, Marieke
Rubin, Julia
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2017年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2017. 2017. xiii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 10805
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xx
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 10806
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2018年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2018. 2018. xx
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS
TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Lecture Notes in Computer Science .11429
-
Herausgegeben von Beyer, Dirk
Huisman, Marieke
Kordon, Fabrice
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
版次：1st ed. 2019. 2019. xxvii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
