Formal Methods for Computer Science I

Dies ist eine Zusammenfassung/Zusammenstellung der wichtigsten Folien aus der Vorlesung Formal Methods for Computer Science I im HS 2010. Die Folien und Notizen stammen aus dem Unterrichtsmaterial von Tudor Gîrba, welche jedoch unter der Lizenz Attribution 3.0 Unported (CC BY 3.0) verändert und mit diesem Verweis verbreitet werden dürfen. Die Zusammenstellung stammt von mir (ohne Gewähr!).