
tysk
Uddannelse
3 måneder kun 9 kr. Derefter 99 kr. / måned. Ingen binding.
Mere end 1 million lyttere
Du vil elske Podimo, og du er ikke alene
Bedømt til 4,7 stjerner i App Store

Læs mere Theorie der Programmierung Series ID:656
Inhalt: Termersetzungssysteme, Normalisierung, Konfluenz Getypter und ungetypter Lambda-Kalkül Semantik von Programmiersprachen, Anfänge der Bereichstheorie Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion Programmverifikation, Floyd-Hoare-Kalkül Reguläre Sprachen und endliche Automaten Beschriftete Transitionssysteme, Bisimulation und Temporallogik
25 - Theorie der Programmierung 2018
24 - Theorie der Programmierung 2018
23 - Theorie der Programmierung 2018
22 - Theorie der Programmierung 2018
21 - Theorie der Programmierung 2018
Kodaten
Vælg dit abonnement
Begrænset tilbud
Premium
20 timers lydbøger
Podcasts kun på Podimo
Gratis podcasts
Ingen binding
3 måneder kun 9 kr.
Derefter 99 kr. / måned
Premium Plus
100 timers lydbøger
Podcasts kun på Podimo
Gratis podcasts
Ingen binding
Prøv gratis i 7 dage
Derefter 129 kr. / måned
3 måneder kun 9 kr. Derefter 99 kr. / måned. Ingen binding.