Model Checking, Synthesis, and Learning

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking, Synthesis, and Learning : 9783030913847, 3030913848 および 印刷版のISBNは 9783030913830, 303091383X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Model Checking, Synthesis, and Learning : 9783030913847, 3030913848 および 印刷版のISBNは 9783030913830, 303091383X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。