Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Journeys Between Formal Methods and the Railway Industry : 9783032124845, 3032124840 および 印刷版のISBNは 9783032124838, 3032124832. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Journeys Between Formal Methods and the Railway Industry : 9783032124845, 3032124840 および 印刷版のISBNは 9783032124838, 3032124832. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。
