Theorie der Programmierung Series ID:656

Podcast de Prof. Dr. Lutz Schröder

alemán

Education

Prueba gratis

$99 / mes después de la prueba.Cancela cuando quieras.

20 horas de audiolibros al mes
Podcasts solo en Podimo
Podcast gratuitos

Prueba gratis

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

25 - Theorie der Programmierung 2018

11 jul 2018 - 1 h 23 min

24 - Theorie der Programmierung 2018

08 jul 2018 - 1 h 25 min

23 - Theorie der Programmierung 2018

04 jul 2018 - 1 h 25 min

22 - Theorie der Programmierung 2018

01 jul 2018 - 1 h 33 min

21 - Theorie der Programmierung 2018

Kodaten

27 jun 2018 - 1 h 27 min

Muy buenos Podcasts , entretenido y con historias educativas y divertidas depende de lo que cada uno busque. Yo lo suelo usar en el trabajo ya que estoy muchas horas y necesito cancelar el ruido de al rededor , Auriculares y a disfrutar ..!!

Junior Cissé

App Store

Junior Cissé

App Store

Fantástica aplicación. Yo solo uso los podcast. Por un precio módico los tienes variados y cada vez más.

Raul Aguado

App Store

Me encanta la app, concentra los mejores podcast y bueno ya era ora de pagarles a todos estos creadores de contenido

Felipe Camacho Otero

App Store

Elige tu suscripción

Premium