Literatur
- Kastens, Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser (2014)
[Uni-Bibliothek]
- Goos: Vorlesungen über Informatik, Band 1, Springer (2005)
[Uni-Bibliothek] [Download]
- Scheurer: Foundations of Computing: System Development With Set Theory and Logic, Addison-Wesley (1994)
[Uni-Bibliothek]
- Velleman: How to Prove It: A Structured Approach, Cambridge University Press (2006)
[Uni-Bibliothek]
- Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra[Taschenbuch], Springer Verlag Deutschland
[Uni-Bibliothek] [Download]