Model Checking, Synthesis, and Learning
Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Theoretical Computer Science and General Issues 13030
Herausgegeben:Olderog, Ernst-Ruediger
Steffen, Bernhard
Yi, Wang
- 出版社：Springer, Berlin; Springer; Springer International Pu
- 出版年月：2022年 00月
- ISBN：9783030913830
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2021. 2022. viii