You are here: DiBiMath » SoftWareProjectSS16

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
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback