WINTER 08/09

Im Wintersemester 2008/09 werden wir anbieten:


Stammvorlesung: Verifikation
Proseminar: Im Zoo der Automaten

Aufgepasst!

Wir bieten im März 2009 einen Blockmodul an:

 

Spezialvorlesung:Testing Techniques