Direkt zum Inhalt
 
 
Eine algebraische Fläche vom Grad 6 (eine "Sextik"), die 65 Singularitäten besitzt.
  
  Startseite  
 
Sie sind hier:» Universität » Mathematik und Informatik » Formale Methoden » Lehre » Model Checking
  • Print this page
  • create PDF file

Model Checking

Wintersemester 2011/2012

 

Vorlesungszeiten:

  • Montag, 14.15-16.00 Uhr im Hörsaal V
  • Dienstag, 16.15-18.00 Uhr im Hörsaal V

 

Tutorium:

  • Freitag, 10.15-12.00 Uhr im Hörsaal V

 

Zuletzt aktualisiert: 23.12.2011 · fohry

 
 
 
Fb. 12 - Mathematik und Informatik

Fb. 12 - Mathematik und Informatik, Hans-Meerwein-Straße, D-35032 Marburg
Tel. 06421/28-21514, Fax 06421/28-25466, E-Mail: dekanatfb12@mathematik.uni-marburg.de

URL dieser Seite: http://www.uni-marburg.de/fb12/formalemethoden/vorlesungen/modelchecking11

 Impressum