Formale Software-Entwicklung (SS 07)
| Type: | Seminar | ||
|---|---|---|---|
| Time: | Blockveranstaltung am Semesterende |
||
| Lecturer: | Prof. P. H. Schmitt |
||
| SWS: | 2 | ||
KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association