Introduction into Model Checking Mitschrift

Vorlesungen, Seminare und Praktika aus dem Bereich Theoretische Informatik (Abkürzungen)
Lectures, seminars and labs from the area Theoretical Foundations (Abbreviations)

Introduction into Model Checking Mitschrift

Beitragvon Stasik » 13.10.09 12:34

Hallo,

ich suche eine Mitschrift oder Audio/Videoaufnahmen zu der MC Vorlesung von vor einem Jahr.

Danke!
3 Träume des Studenten:
Während der Vorlesungen: Mann, wann werde ich endlich essen!
Während des Praktikums: Mann, wann werde ich endlich schlafen!
Während der Klausurphase: Mann, wann werde ich endlich sterben!
Benutzeravatar
Stasik
 
Beiträge: 419
Registriert: 11.04.06 18:16
Studiengang: Informatik (Dipl.)
Studiert seit: SS 06
Anwendungsfach: E-Technik

Beitragvon fw » 13.10.09 14:49

Prof. Katoen hat sein Buch angeschrieben ;-)
Benutzeravatar
fw
 
Beiträge: 1356
Registriert: 17.05.06 19:37
Studiengang: Informatik (Dipl.)
Studiert seit: fertig
Anwendungsfach: Mathe


Zurück zu Theoretische Informatik / Theoretical Foundations