-
-
Software Engineering and Formal Methods
21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Lecture Notes in Computer Science 14323
-
Herausgegeben:Ferreira, Carla
Willemse, Tim A. C.
-
出版社：Springer, Berlin; Springer Nature Switzerland; Spring
出版年月：2023年 12月
装丁：PAP
版次：1st ed. 2023. 2023. xii
-
税込価格：
15,324円
海外在庫あり
通常２～５週間で出荷
-
-
Formal Techniques for Distributed Objects, Components, and Systems
Lecture Notes in Computer Science 12719
-
Herausgegeben:Peters, Kirstin
Willemse, Tim A. C.
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
版次：1st ed. 2021. 2021. xii
-
税込価格：
11,787円
海外在庫あり
通常２～５週間で出荷
