Home | english  | Impressum | Sitemap | KIT

Formaler Entwurf und Verifikation von Programmen (SS 08)

Formaler Entwurf und Verifikation von Programmen (SS 08)
Typ: Vorlesung Links:
Beginn: 14.4.08
Dozent:

Prof. P. H. Schmitt

SWS: 3