Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Lecture Notes in Computer Science .10134

Herausgegeben von Bowen, Jonathan P. Zhu, Huibiao

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

税込価格：

12,060円

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

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Lecture Notes in Computer Science .10215

Herausgegeben von Bowen, Jonathan P. Liu, Zhiming Zhang, Zili

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

税込価格：

12,060円

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

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures

Lecture Notes in Computer Science 11174

Herausgegeben von Bowen, Jonathan P. Liu, Zhiming Zhang, Zili

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

税込価格：

12,060円

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

Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures

Lecture Notes in Computer Science .11430

Herausgegeben von Bowen, Jonathan P. Liu, Zhiming Zhang, Zili

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

税込価格：

13,989円

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

Engineering Trustworthy Software Systems

5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures

Lecture Notes in Computer Science 12154

Herausgegeben von Bowen, Jonathan P. Liu, Zhiming Zhang, Zili

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

税込価格：

12,060円

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