
Theorie der Programmierung Series ID:656
Podcast de Prof. Dr. Lutz Schröder
Disfruta 30 días gratis
4,99 € / mes después de la prueba.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
Todos los episodios
25 episodios




Kodaten

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
Disfruta 30 días gratis
4,99 € / mes después de la prueba.Cancela cuando quieras.
Podcasts exclusivos
Sin anuncios
Podcast gratuitos
Audiolibros
20 horas / mes