
tysk
Technology
99 kr / Måned etter prøveperioden.Avslutt når som helst.
Les mer Theorie der Programmierung
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 Episoder
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
Velg abonnementet ditt
Mest populær
Premium
20 timer lydbøker
Eksklusive podkaster
Ingen annonser i Podimo shows
Avslutt når som helst
Prøv gratis i 14 dager
Deretter 99 kr / måned
Premium Plus
100 timer lydbøker
Eksklusive podkaster
Ingen annonser i Podimo shows
Avslutt når som helst
Prøv gratis i 14 dager
Deretter 169 kr / måned
Prøv gratis i 14 dager. 99 kr / Måned etter prøveperioden. Avslutt når som helst.