000 00652nmm a2200229Ia 4500
001 EBK24323
005 20250328162705.0
008 250328s9999 xx 000 0 und d
020 _a9783031712616
100 _aDiego Marmsoler
245 0 _aFormal Aspects of Component Software
250 _a2024
260 _bSpringer
260 _c2024
490 _aLecture Notes in Computer Science
650 _aComputer Science
650 _aFormal Languages and Automata Theory
700 _a Meng Sun
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-031-71261-6
942 _cEBK
999 _c172328
_d172328