DE

Modul

Practical Course: Programme Verification [M-INFO-101537]

Credits
3
Recurrence
Unregelmäßig
Duration
1 Semester
Language
German/English
Level
4
Version
1

Responsible

Organisation

  • KIT-Fakultät für Informatik

Part of

Bricks

Identifier Name LP
T-INFO-102953 Practical Course: Programme Verification 3