000 00643nmm a2200229Ia 4500
001 EBK18523
005 20250328152048.0
008 250328s9999 xx 000 0 und d
020 _a9783030409142
100 _aFarhad Arbab
245 0 _aFormal Aspects of Component Software
250 _a2020
260 _bspringer
260 _c2020
490 _aLecture Notes in Computer Science
650 _aComputer Science
650 _aSoftware Engineering
700 _a Sung Shik Jongmans
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-40914-2
942 _cEBK
999 _c166528
_d166528