Home | english | Impressum | Sitemap | KIT

Logik und Formale Methoden

Mitarbeiter
Forschung
Studium und Lehre
Studien- und Diplomarbeiten, Hiwi-Stellen
Veröffentlichungen
So finden Sie uns

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

KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft