UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

 
 
 Also in UnivIS
 
course list

lecture directory

 
 
events calendar

job offers

furniture and equipment offers

 
 

  Formale Methoden der Softwareentwicklung (FMSoft)

Lecturer
Prof. Dr. Lutz Schröder

Details
Vorlesung
2 cred.h, certificate, ECTS studies, ECTS credits: 2,5, Sprache Deutsch
Time and place: Mon 10:15 - 11:45, room tbd; comments on time and place: Ort: Seminarraum LS INF8, Martensstr. 3, 11. OG

Fields of study
WPF INF-BA-W 5 (ECTS-Credits: 2,5)

ECTS information:
Credits: 2,5

Additional information
Expected participants: 20

Assigned lectures
UE: Übungen zu Formale Methoden der Softwaretechnik
Lecturer: Dr. Daniel Gorin
Time and place: Wed 14:15 - 15:45, room tbd; comments on time and place: Seminarraum INF8, Martensstr. 3, 11. OG

Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2012/2013:
Formale Methoden der Softwareentwicklung (FMSoft)

Department: Chair of Computer Science 8 (Theoretical Computer Science)
UnivIS is a product of Config eG, Buckenhof