-
-
ロボット・ソフトウェア工学
Software Engineering for Robotics
-
Cavalcanti, Ana (EDT)
Dongol, Brijesh (EDT)
Hierons, Rob (EDT)
-
出版社：Springer
出版年月：2021年 03月
装丁：HRD
-
税込価格：
28,950円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Lecture Notes in Computer Science 11758
-
Herausgegeben von Dongol, Brijesh
Petre, Luigia
Smith, Graeme
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2019年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019. 2019. xvi
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
-
-
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円
海外在庫あり
通常２～５週間で出荷
-
-
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Lecture Notes in Computer Science 12546
-
Herausgegeben:Dongol, Brijesh
Troubitsyna, Elena
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2020 2020 xi
-
税込価格：
12,060円
海外在庫あり
通常２～５週間で出荷
