Vorlesungs-Skripten


Grundlagen der Programmverifikation

Algebraische Grundlagen der Informatik

Termersetzungssysteme / Algorithmen für Termgleichungen

Spezifikation abstrakter Datentypen

Formale Semantik



Für Hinweise auf Druckfehler bzw. zur sonstigen Verbesserung der Skripten bin ich stets dankbar.

Diese Skripten sind Arbeitsmaterial, in den entsprechenden Vorlesungen gilt das gesprochene Wort!
Der Besitz des Vorlesungsskripts kann deshalb niemals den Vorlesungsbesuch ersetzen.

Bei Rückfragen und Hinweisen nehmen Sie bitte Kontakt mit mir auf!


rhartwig@informatik.uni-leipzig.de


Seite erstellt von Rolf Hartwig
Letzte Änderung: 16.10.2009