Home | english  | Impressum | Sitemap | KIT

Formaler Entwurf und Verifikation von Programmen (SS 07)

Formaler Entwurf und Verifikation von Programmen (SS 07)
Typ: Vorlesung
Dozent:

Prof. P. H. Schmitt

SWS: 3