Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Lecture Notes in Computer Science .10460
Herausgegeben von Aceto, Luca
Bacci, Giorgio
Bacci, Giovanni
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2017年 00月
- ISBN：9783319631202
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2017. 2017. xvii