Journeys Between Formal Methods and the Railway Industry Dublin Core Títol Journeys Between Formal Methods and the Railway Industry Autor Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini Matèria Computer Science & Information Technology Editor Springer Nature Data de publicació 2026 Identificador 9783032124845 Font https://doi.org/10.1007/978-3-032-12484-5 Etiquetes Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
