Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Lehrveranstaltungen

SAT Solving in der Praxis

  • type: lecture
  • place:

    Seminarraum 236 (Geb. 50.34)
  • time:

    Mo 14:00-15:30
  • start: 18.04.2016
  • lecturer:

    T. Balyo, C. Sinz
  • sws: 3 (2 Vorlesung, 1 Übung)
  • ects: 5
  • lv-no.: 2400085
  • exam:

    mündlich (Termine: 25.07.2016 und 19.09.2016)
links