You are here: Foswiki>DiBiMath Web>SoftWareProjectSS16 (07 Mar 2016, HannesKlarner)Edit

Welcome to the Seminar Wiki Projektmanagement im Softwarebereich: Writing an extension for NuSMV, SS 2016

Materialien

  • hier findet ihr Dokumente und zusätzliche Dateien: materials

Allgemeine Informationen

SWS/credit hrs: 4+1 , credits: 10 ECTS

Dozenten: Hannes Klarner, Heike Siebert, Adam Streck

Sprache: Deutsch/Englisch
Edit | Attach | Print version | History: r5 < r4 < r3 < r2 | Backlinks | View wiki text | Edit wiki text | More topic actions
Topic revision: r5 - 07 Mar 2016, HannesKlarner
 
  • Printable version of this topic (p) Printable version of this topic (p)