Spezifikation und Verifikation von Software (WS 10/11)
| Typ: | Vorlesung | Links: | Webseite der Vorlesung |
|---|---|---|---|
| Ort: | SR 131 |
||
| Zeit: | Mo, 15:45 - 17:15 |
||
| Dozent: | |||
| LVNr.: | 24126 | ||
KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft