Formaler Entwurf und Verifikation von Programmen (SS 08)
| Typ: | Vorlesung | Links: | Homepage der Vorlesung |
|---|---|---|---|
| Beginn: | 14.4.08 | ||
| Dozent: | |||
| SWS: | 3 | ||
KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft