Einführung in die Programmiertechnik (WS 2011/12) Formale Beschreibung von Programmiersprachen Induktive Datentypen und Verifikation

Induktive Datentypen und Verifikation

Part of the series Einführung in die Programmiertechnik (WS 2011/12)
Induktive Datentypen und Verifikation Dr. Martin von Löwis

Date: December 8, 2011
Language: German
Duration: 01:20:00
Copy link to current video position
tele-TASK now provides the ability to create playlists. You can create your own playlist based on this lecture or view playlists containing this lecture.
Show