 |
|
||||||||||
Course Program
|
Course Code |
Name |
Lecturer |
Language |
Credits |
| Spring Semester 2013 | ||||
|
252-0058-00 |
Formal Methods and Functional Programming |
David Basin Alex Summers |
English |
7 |
| Autumn Semester 2012 | ||||
| 252-0237-00 | Concepts of Object-Oriented Programming | Peter Müller | English | 6 |
| Spring Semester 2012 | ||||
| 252-0216-00 | Software Architecture and Engineering |
Peter Müller |
English |
8 |
|
252-0058-00 |
Formal Methods and Functional Programming |
David Basin Peter Müller |
English |
7 |
|
263-2700-00 |
Static Program Analysis |
Pietro Ferrara |
English |
4 |
| Autumn Semester 2011 | ||||
|
252-0237-00 |
Concepts of Object-Oriented Programming |
Peter Müller |
English |
6 |
| Spring Semester 2011 | ||||
|
252-0204-00 |
Software Engineering |
Peter Müller |
English |
8 |
|
252-0058-00 |
Formal Methods and Functional Programming |
David Basin Peter Müller |
English |
7 |
| Autumn Semester 2010 | ||||
| 252-0237-00 |
Concepts of Object-Oriented Programming |
Peter Müller |
English |
6 |
| Spring Semester 2010 | ||||
| 252-0058-00 |
Formal Methods and Functional Programming |
David Basin Peter Müller |
English |
7 |
| 252-0204-00 |
Kernfach Software Engineering |
Peter Müller |
English |
6 |
| Autumn Semester 2009 | ||||
| 251-0237-00 |
Concepts of Object-Oriented Programming |
Peter Müller |
English |
6 |
| Spring Semester 2009 | ||||
| 251-0208-00 | Kernfach Software Engineering | Peter Müller | English | 6 |
| 252-0058-00 | Formal Methods and Functional Programming |
David Basin Peter Müller |
English | 6 |
| Autum Semester 2008 | ||||
| 251-0237-00 |
Konzepte objektorientierter Programmierung |
Peter Müller |
German |
5 PhD: 4/3 |
| Winter Semester 2006/2007 | ||||
| 251-0237-00 | Konzepte objektorientierter Programmierung | Peter Müller | German |
5 PhD: 4/3 |
| Summer Semester 2006 | ||||
| 252-0204-00 |
Software Engineering |
Peter Müller | German |
6 |
| Winter Semester 2005/2006 | ||||
| 251-0237-00 | Konzepte objektorientierter Programmierung | Peter Müller | German |
5 PhD: 4/3 |
| 251-0801-00 | Informatik-Projektentwicklung | Peter Müller | German | 2 |
| Winter Semester 2004/2005 | ||||
| 251-0264-00 | Semantik von Programmiersprachen | Peter Müller |
German, English |
5 PhD; 4/3 |
| Winter Semester 2003/2004 | ||||
| 37-237 | Konzepte objektorientierter Programmierung | Peter Müller | German |
5 PhD; 4/3 |
| 37-801 | Informatik-Projektentwicklung | Peter Müller | German | 2 |
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information
