
Duits
Education
3 maanden voor € 1. Daarna € 9,99 / maand. Elk moment opzegbaar.
Meer dan 1 miljoen luisteraars
Ervaar Podimo zelf en ontdek de beste podcasts en luisterboeken
4.7 sterren in de App Store

Over 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
Kies je abonnement
Tijdelijke aanbieding
Premium
20 uur aan luisterboeken
Podcasts die je alleen op Podimo hoort
Gratis podcasts
Elk moment opzegbaar
3 maanden voor € 1
Daarna € 9,99 / maand
Premium Plus
Onbeperkt luisterboeken
Podcasts die je alleen op Podimo hoort
Gratis podcasts
Elk moment opzegbaar
Probeer 30 dagen gratis
Daarna € 11,99 / maand
3 maanden voor € 1. Daarna € 9,99 / maand. Elk moment opzegbaar.