000			00649nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319680347
100			_aJos� Proen�a, Markus Lumpe
245		0	_aFormal Aspects of Component Software
260			_bSpringer _c2017
440			_aLecture Notes in Computer Science
653			_aSoftware Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; The Computing Profession
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-68033-0
942			_cEB
999			_c44073 _d44073