00662nam a2200193Ia 4500 220705s9999||||xx |||||||||||||| ||und|| 978-3-319-89365-5 978-3-319-89366-2 Springer ENG Ugo Dal Lago Christel Baier Foundations of Software Science and Computation Structures Springer International Publishing 2018 Lecture Notes in Computer Science; 10803 1611-3349 Computer Science https://doi.org/10.1007/978-3-319-89366-2 https://link.springer.com/openurl?genre=book&isbn=978-3-319-89366-2 EBK 76276 76276