Maurice H Ter Beek All Books 16470 sku-18358007838

Maurice H Ter Beek All Books listing sku-18358007838 is Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His, Book 16470, in the Lecture Notes in Computer Science series. This paperback lists Springer as the author, ISBN 9783032124838, a publication date of 2026-06-11 and a page count of 0.You may also like Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, (Paperback).