Formale Grundlagen der Informatik I

SoSe 2006

(Prof. Dr. M. Jantzen und Prof. Dr. Ch. Habel)