-

-
Engineering Trustworthy Software Systems
First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Lecture Notes in Computer Science Vol.9506
-
Herausgegeben von Liu, Zhiming
Zhang, Zili
-
出版社:Springer, Berlin; Springer International Publishing
出版年月:2016年 03月
装丁:PAP
言語:ENG
版次:1st ed. 2016. xi
-
税込価格:
12,060円
海外在庫あり
通常2~5週間で出荷
-

-
Dependable Software Engineering: Theories, Tools, and Applications
First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Lecture Notes in Computer Science .9409
-
Herausgegeben von Li, Xuandong
Liu, Zhiming
Yi, Wang
-
出版社:Springer, Berlin; Springer International Publishing
出版年月:2015年 10月
装丁:PAP
版次:1st ed. 2015. 2015. xix
-
税込価格:
11,578円
海外在庫あり
通常2~5週間で出荷
-

-
Theoretical Aspects of Computing
-
Herausgegeben von Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
-
出版社:Springer, Berlin
出版年月:2013年 07月
装丁:PAP
言語:ENG
版次:2013. xii
-
税込価格:
12,060円
海外在庫あり
通常2~5週間で出荷
-

-
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8051
-
Herausgegeben von Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
-
出版社:Springer, Berlin
出版年月:2013年 07月
装丁:PAP
版次:2013. 2013. xii
-
税込価格:
12,060円
海外在庫あり
通常2~5週間で出荷
-

-
Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Lecture Notes in Computer Science / Programming and Software Engineering .8348
-
Herausgegeben von Fiadeiro, Jose Luiz
Liu, Zhiming
Xue, Jinyun
-
出版社:Springer, Berlin; Springer International Publishing
出版年月:2014年 07月
装丁:PAP
版次:2014. 2014. x
-
税込価格:
12,060円
海外在庫あり
通常2~5週間で出荷
-

-
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円
海外在庫あり
通常2~5週間で出荷
-

-
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円
海外在庫あり
通常2~5週間で出荷
-

-
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円
海外在庫あり
通常2~5週間で出荷
-

-
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円
海外在庫あり
通常2~5週間で出荷