UE Computer Aided Verification

Exam informations

Die Beurteilung erfolgt über die abgegebenen Übungen

Workload for exams

Description

Laborübung zur gleichnamigen Vorlesung

 

 

Uebungen mit Verifikationssoftware

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

Module

Lecturers

Examples

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

Download all as ZIP File
Add files...