Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Communications in Computer and Information Science .596

Herausgegeben von Artho, Cyrille OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 02月
装丁：PAP 版次：1st ed. 2016. 2016. ix

税込価格：

11,787円

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

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Lecture Notes in Computer Science .9938

Herausgegeben von Artho, Cyrille Legay, Axel Peled, Doron

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 09月
装丁：PAP 版次：1st ed. 2016. 2016. xi

税込価格：

11,787円

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

Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Communications in Computer and Information Science .476

Herausgegeben von Artho, Cyrille OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 04月
装丁：PAP 版次：2015. 2015. x

税込価格：

11,787円

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

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers

Communications in Computer and Information Science .419

Herausgegeben von Artho, Cyrille OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 04月
装丁：PAP 版次：2014. 2014. x

税込価格：

11,787円

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

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Communications in Computer and Information Science .694

Herausgegeben von Artho, Cyrille OElveczky, Peter Csaba

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

税込価格：

11,787円

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