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.

Kommentare:

  1. BUUUUH, BUUUUH, viel zu selten neue Nachrichten, schäm dich!

    AntwortenLöschen
  2. Watt? Hier kommen doch nur die wichtigen Dinge rein. Nicht jeder Tinneff. ;)

    AntwortenLöschen