alemán
Technology
$99 / mes después de la prueba.Cancela cuando quieras.
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
Elige tu suscripción
Más populares
Premium
20 horas de audiolibros
Podcasts solo en Podimo
Disfruta los shows de Podimo sin anuncios
Cancela cuando quieras
Empieza 7 días de prueba
Después $99 / mes
Empieza 7 días de prueba. $99 / mes después de la prueba. Cancela cuando quieras.