Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Forschungsgruppe
Lehrveranstaltungen

Übungen zur Vorlesung SAT Solving in der Praxis

  • Typ: Übung
  • Ort:

    Seminarraum 301 (Geb. 50.34)
  • Zeit:

    Do 14:00-15:30
  • Beginn: 28.04.2016
  • Dozent:

    T. Balyo, C. Sinz
  • SWS: 1
  • LVNr.: 2400085