Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Lecture Notes in Computer Science .10817

Herausgegeben von Butler, Michael Raschke, Alexander Hoang, Thai Son

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

税込価格：

11,853円

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

Advances in Information and Communication Technology

Proceedings of the 2nd International Conference ICTA 2023, Volume 2

Lecture Notes in Networks and Systems 848

Herausgegeben:Nghia, Phung Trung Thai, Vu Duc Thuy, Nguyen Thanh

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：1st ed. 2024. 2024. xxxii

税込価格：

47,427円

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

Advances in Information and Communication Technology

Proceedings of the 2nd International Conference ICTA 2023, Volume 1

Lecture Notes in Networks and Systems 847

Herausgegeben:Nghia, Phung Trung Thai, Vu Duc Thuy, Nguyen Thanh

出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：1st ed. 2023. 2024. xxx

税込価格：

47,427円

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