-
-
Theoretical Aspects of Computing
-
Herausgegeben von Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
-
出版社：Springer, Berlin
出版年月：2013年 07月
装丁：PAP
言語：ENG
版次：2013. xii
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
Lecture Notes in Computer Science
-
Cavalcanti, Ana (EDT)
Sampaio, Augusto (EDT)
Woodcock, Jim (EDT)
-
出版社：Springer-Verlag New York Inc
出版年月：2006年 12月
装丁：PAP
言語：ENG
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
Programming and Software Engineering 13071
-
Herausgegeben:Zhang, Wenhui
Woodcock, Jim
Qin, Shengchao
-
出版社：Springer, Berlin; Springer; Springer International Pu
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xiv
-
税込価格：
18,093円
海外在庫あり
通常２～５週間で出荷
-
-
Software Engineering for Robotics
-
Herausgegeben:Cavalcanti, Ana
Dongol, Brijesh
Hierons, Rob
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2022年 00月
装丁：PAP
版次：1st ed. 2021. 2022. xx
-
税込価格：
28,950円
海外在庫あり
通常２～５週間で出荷
