KIT - Karlsruhe Institute of Technology
image/svg+xml
Logic and Formal Methods
Home
Legals
Data Protection
Sitemap
KIT
KIT
de
Staff
Research
Teaching
Theses
Publications
Contact
Startpage
Home
Legals
Data Protection
Sitemap
Logic and Formal Methods
Startpage
Teaching
Welcome to the Logic and Formal Methods Group
Staff
Research
Teaching
Theses
Publications
Contact
Teaching
Formale Entwicklung objektorientierter Software (WS 06/07)
Type:
Praktikum
Place:
SR 301
Time:
Mi, 17:30 - 19:00
Lecturer:
Prof. P. H. Schmitt
Christian Engel
Frank Werner
SWS:
2