000 00519nam a2200157Ia 4500
008 220313s9999 xx 000 0 und d
022 _a9783030734848
100 _aDines Bjørner
245 0 _aDomain Science and Engineering
260 _bSpringer Nature
_c2021
440 _aMonographs in Theoretical Computer Science. An EATCS Series
500 _aOne time purchase [Perpetual access]
650 _aComputer Science
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-030-73484-8
942 _cEB
999 _c49977
_d49977