000 00537nam a2200133Ia 4500
008 2212144s2021 xx 000 0 und d
020 _a9783030805074
041 _aeng
100 _aWolfgang Schreiner.
245 _aThinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
260 _aCham
_bSpringer
_c2021
650 _aMathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing.
856 _uhttps://doi.org/10.1007/978-3-030-80507-4
999 _c89088
_d89088