Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science Vol.9035
Herausgegeben von Baier, Christel
Tinelli, Cesare
- 出版社:Springer, Berlin; Springer Berlin Heidelberg; Springe
- 出版年月:2015年 04月
- ISBN:9783662466803
- 装丁:PAP
-
装丁について
- 版次:2015. 2015. xviii