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&eacute d&eacute

出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 版次：1st ed. 2020. 2020. viii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Lecture Notes in Computer Science .10383

Herausgegeben von Geuvers, Herman England, Matthew Hasan, Osman

出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xviii

税込価格：

11,787円

海外在庫あり 通常２～５週間で出荷