UE Computer Aided Verification

Prüfungsinformationen

Die Beurteilung erfolgt über die abgegebenen Übungen

Lernaufwand

Beschreibung

Laborübung zur gleichnamigen Vorlesung

 

 

Uebungen mit Verifikationssoftware

  • LVA-Nummer: 181.144
  • ECTS: 3.0
  • Stunden: 2

Module

Vortragende

Beispiele

Möchtest du die Beispiele bewerten musst du dich einloggen. Derzeit funktioniert das über Facebook, wir arbeiten an einem Login über TISS! Facebook Login

Alle Beispiele als ZIP Datei
Add files...