-
-
Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Communications in Computer and Information Science 1165
-
Herausgegeben von Hasan, Osman
Mallet, Fré
dé
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
版次：1st ed. 2020. 2020. viii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
-
-
Information and Communication Technologies in Education, Research, and Industrial Applications
Communications in Computer and Information Science 1175
-
Herausgegeben von Ermolayev, Vadim
Mallet, Fré
dé
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2020. 2020. xii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
