Teaching (in german)

• Übersicht Lehrgebiet
• Lehrveranstaltungen WS 2011/2012
  • Vorlesung: Formale Spezifikations- und Verifikationstechniken (4 + 2)(K), Dozent: Prof. Dr. K. Madlener, LG Grundlagen der Programmierung
  • Übersicht Lehrveranstaltungen

  Research

  • Focus of Research
  • Publications

  Organization

  • Staff
    • Prof. Dr. Klaus Madlener (director)
    • Judith Stengel (secretary)
    • Reiner Hüchting
  • Local Information (in german)
  • Impressum (in german)

  ---

  Technische Universität Kaiserslautern
  Fachbereich Informatik
  AG Grundlagen der Informatik
  Postfach 3049
  D-67653 Kaiserslautern, Germany
  Tel: ++49 631 205 3536
  Fax: ++49 631 205 3420

  ---

  RG Foundations of Informatics

  Department of Informatics

  Technical University of Kaiserslautern

  ---

  Last Update: Thursday, 27-Oct-11 10:58:20 GMT
  madlener@informatik.uni-kl.de