Editing TU Wien:Formale Methoden der Informatik VU (Egly) (section)

== Unterlagen ==
* [http://dbai.tuwien.ac.at/education/fmi/ Alte Prüfungsangaben] und [http://dbai.tuwien.ac.at/education/fmi/statistik.html Notenstatistiken] sind auf den Institutswebsites zu finden: [http://dbai.tuwien.ac.at/education/fmi/ dbai.tuwien.ac.at]
* Die Vortragenden stellen alle Folien, Lösungen für die Übungsblätter und zusätzliches Material im TUWEL-Kurs zur Verfügung
* Opencast-Aufzeichnungen aller Vorträge zum Nachschauen (nicht öffentlich, man muss über TUWEL zugreifen)
* {{Materialien}}
* Bücher sind bei den {{Materialien}} zu finden.
** Buch für Block 1: Computational Complexity (Papadimitriou)
** Buch für Block 2: Decision Procedures An Algorithmic Point of View (Kroening)
** Buch für Block 3: The Science of Programming (Gries)
** Buch für Block 4: Model Checking (Clarke)
* '''Use the collaboratively formulated [[TU Wien:Formale Methoden der Informatik VU (Egly)/Ausarbeitung 2013-2021|exam solutions]] '''