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]
Further information: