
tysk
Opplysning
3 Måneder for 9 kr. Deretter 99 kr / Måned. Avslutt når som helst.
Mer enn 1 million lyttere
Du vil elske Podimo, og du er ikke alene
Vurdert til 4,7 stjerner i App Store

Les mer 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
Velg abonnementet ditt
Tidsbegrenset tilbud
Premium
20 timer lydbøker
Eksklusive podkaster
Gratis podkaster
Avslutt når som helst
3 Måneder for 9 kr
Deretter 99 kr / Måned
Premium Plus
100 timer lydbøker
Eksklusive podkaster
Gratis podkaster
Avslutt når som helst
Prøv gratis i 14 dager
Deretter 169 kr / måned
3 Måneder for 9 kr. Deretter 99 kr / Måned. Avslutt når som helst.