Gedanken eines Informatikers, Mathematikers und Lehrers.
12.11.2005
Umfangreiche Unterlagungen zu einer Model-Checking-Vorlesung
Die RWTH-Aachen bietet reichhaltige Informationen» – wozu Videos, Uebungsblaetter und Skripten gehoeren – zu einer Model-Checking-Vorlesung aus dem Wintersemester 2003/2004. Wirklich hinschauenswert.
Posts
BUUUUH, BUUUUH, viel zu selten neue Nachrichten, schäm dich!
AntwortenLöschenWatt? Hier kommen doch nur die wichtigen Dinge rein. Nicht jeder Tinneff. ;)
AntwortenLöschen