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円

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

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Lecture Notes in Computer Science .9539

Herausgegeben von Braga, Christiano OElveczky, Peter Csaba

出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 01月
装丁：PAP 言語：ENG 版次：1st ed. 2016. 2016. x

税込価格：

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円

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

Logic, Rewriting, and Concurrency

Symposium in Honor of José Meseguer on the Occasion of His 65th Birthday, Urbana, IL, USA, September 23-25, 2015, Proceedings

Lecture Notes in Computer Science .9200

Herausgegeben von Mart&iacute -Oliet, Narciso OElveczky, Peter Csaba

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

税込価格：

11,787円

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

Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings

Lecture Notes in Computer Science 11222

Herausgegeben:Bae, Kyungmin OElveczky, Peter Csaba

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

税込価格：

11,787円

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

Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Communications in Computer and Information Science 1008

Herausgegeben:Artho, Cyrille OElveczky, Peter Csaba

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

税込価格：

11,787円

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

Theoretical Aspects of Computing - ICTAC 2021

18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Lecture Notes in Computer Science 12819

Herausgegeben:Cerone, Antonio OElveczky, Peter Csaba

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

税込価格：

17,683円

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

Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Lecture Notes in Computer Science .11724

Herausgegeben:OElveczky, Peter Csaba Salauen, Gwen

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

税込価格：

11,787円

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

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Lecture Notes in Computer Science / Programming and Software Engineering .7253

Herausgegeben von Arbab, Farhad OElveczky, Peter Csaba

出版社：Springer, Berlin 出版年月：2012年 00月
装丁：PAP 版次：2012. 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円

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