Formale Systeme (WS 08/09)
| Type: | lecture | ||
|---|---|---|---|
| Chair: | Institut für Theoretische Informatik | ||
| Lecturer: | |||
| SWS: | 3+1 | ||
| Information: | weitere Informationen auf der Homepage zur Vorlesung |
||
KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association