Home | deutsch  | Legals | Sitemap | KIT

Formaler Entwurf und Verifikation von Programmen (SS 08)

Formaler Entwurf und Verifikation von Programmen (SS 08)
Type: Vorlesung Links:
Start: 14.4.08
Lecturer:

Prof. P. H. Schmitt

SWS: 3