
alemán
Technology
Oferta limitada
Después 4,99 € / mesCancela cuando quieras.
Acerca de 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 episodios
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
Más populares
Oferta limitada
Premium
20 horas de audiolibros
Podcasts solo en Podimo
Disfruta los shows de Podimo sin anuncios
Cancela cuando quieras
1 mes por 1 €
Después 4,99 € / mes
Premium Plus
100 horas de audiolibros
Podcasts solo en Podimo
Disfruta los shows de Podimo sin anuncios
Cancela cuando quieras
Disfruta 30 días gratis
Después 9,99 € / mes
1 mes por 1 €. Después 4,99 € / mes. Cancela cuando quieras.