Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

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

Herausgegeben von Giannakopoulou, Dimitra Salauen, Gwen

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

税込価格：

11,787円

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

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Lecture Notes in Computer Science 13077

Herausgegeben:Wijs, Anton Salauen, Gwen

出版社：Springer, Berlin; Springer; Springer International Pu 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xii

税込価格：

10,608円

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

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円

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

Software Technologies: Applications and Foundations

STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

Lecture Notes in Computer Science .11176

Herausgegeben:Mazzara, Manuel Ober, Iulian Salauen, Gwen

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

税込価格：

11,787円

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

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

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

Herausgegeben von Pasareanu, Corina S. Salauen, Gwen

出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 版次：Repr. 2012. 2013. X

税込価格：

10,846円

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