Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science 14572
Herausgegeben:Finkbeiner, Bernd
Ková
cs, Laura
- 出版社:Springer, Berlin; Springer Nature Switzerland; Etaps
- 出版年月:2024年 00月
- ISBN:9783031572555
- 装丁:PAP
-
装丁について
- 版次:1st ed. 2024. 2024. xxii