000 00665nam a2200145Ia 4500
008 191030s9999 xx 000 0 und d
020 _a9783319689531
100 _aMohammad Reza Mousavi, Jir� Sgall
245 0 _aTopics in Theoretical Computer Science
260 _bSpringer
_c2017
440 _aLecture Notes in Computer Science
653 _aComputation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters
856 _uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-68952-4
942 _cEB
999 _c44115
_d44115