saksa
Technology
Kokeilun jälkeen 7,99 € / kuukausi.Peru milloin tahansa.
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 jaksot
Valitse tilauksesi
Suosituimmat
Premium
Podimon podcastit
Ei mainoksia Podimon podcasteissa
Peru milloin tahansa
14 vrk ilmainen kokeilu
Sitten 7,99 € / kuukausi
Premium
20 tuntia äänikirjoja
Podimon podcastit
Ei mainoksia Podimon podcasteissa
Peru milloin tahansa
14 vrk ilmainen kokeilu
Sitten 9,99 € / kuukausi
Premium
100 tuntia äänikirjoja
Podimon podcastit
Ei mainoksia Podimon podcasteissa
Peru milloin tahansa
14 vrk ilmainen kokeilu
Sitten 19,99 € / kuukausi
14 vrk ilmainen kokeilu. Kokeilun jälkeen 7,99 € / kuukausi. Peru milloin tahansa.