Models and modelling in computer science

DOI10.1007/978-3-030-76020-5_17OpenAlexW3166110061MaRDI QIDQ2117608

Bernhard Thalheim

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_17

zbMATH Keywords

modelsmodel theoryart of modellingcomputer science pitfallsmodelling theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Abstract State Machines
• Foundations of mathematics for the working mathematician
• Unnamed Item
• Unnamed Item
• Unnamed Item