Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Models, Algorithms, Logics and Tools : 9783319631219, 3319631217 および 印刷版のISBNは 9783319631202, 3319631209. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Models, Algorithms, Logics and Tools : 9783319631219, 3319631217 および 印刷版のISBNは 9783319631202, 3319631209. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
