<Marco.Moeller@macrolab.de>
Stand: 06.03.2006 - Version: 1.0.0
ERHÄLTLICH UNTER HTTP://PRIVAT.MACROLAB.DE
Diese Formelsammlung basiert auf der Vorlesung ``Formale Grundlagen der Informatik - 3'' von Prof. Dr. Christoph Walther an der Technischen Universität Darmstadt im Wintersemester 2005/06.
Die folgende Formelsammlung steht zum kostenlosen Download zur Verfügung. Das Urheberrecht und sonstige Rechte an dem Text verbleiben beim Verfasser, der keine Gewähr für die Richtigkeit und Vollständigkeit der Inhalte übernehmen kann.