
saksa
Education
3 kuukautta hintaan 1 €. Sitten 7,99 € / kuukausi. Peru milloin tahansa.
Enemmän kuin miljoona kuuntelijaa
Tulet rakastamaan Podimoa, etkä ole ainoa
Arvioitu 4.7 App Storessa

Lisää 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
Valitse tilauksesi
Rajoitettu tarjous
Premium
Podimon podcastit
Lataa offline-käyttöön
Peru milloin tahansa
3 kuukautta hintaan 1 €
Sitten 7,99 € / kuukausi
Premium
20 tuntia äänikirjoja
Podimon podcastit
Lataa offline-käyttöön
Peru milloin tahansa
30 vrk ilmainen kokeilu
Sitten 9,99 € / kuukausi
Premium
100 tuntia äänikirjoja
Podimon podcastit
Lataa offline-käyttöön
Peru milloin tahansa
30 vrk ilmainen kokeilu
Sitten 19,99 € / kuukausi
3 kuukautta hintaan 1 €. Sitten 7,99 € / kuukausi. Peru milloin tahansa.