Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science .10206
Herausgegeben von Legay, Axel
Margaria, Tiziana
- 出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月:2017年 00月
- ISBN:9783662545799
- 装丁:PAP
-
装丁について
- 言語:ENG
- 版次:1st ed. 2017. 2017. xxiv