
alemán
Education
3 meses por 1 €. Después 4,99 € / mes. Cancela cuando quieras.
Más de 1 millón de oyentes
Podimo te va a encantar, y no sólo a ti
Valorado con 4,7 en la App Store

Acerca de 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
Elige tu suscripción
Oferta limitada
Premium
20 horas de audiolibros
Podcasts solo en Podimo
Podcast gratuitos
Cancela cuando quieras
3 meses por 1 €
Después 4,99 € / mes
Premium Plus
100 horas de audiolibros
Podcasts solo en Podimo
Podcast gratuitos
Cancela cuando quieras
Disfruta 30 días gratis
Después 9,99 € / mes
3 meses por 1 €. Después 4,99 € / mes. Cancela cuando quieras.