Kansikuva näyttelystä Theorie der Programmierung

Theorie der Programmierung

Podcast by Prof. Dr. Lutz Schröder

saksa

Technology

14 vrk ilmainen kokeilu

Kokeilun jälkeen 7,99 € / kuukausi.Peru milloin tahansa.

  • Podimon podcastit
  • Lataa offline-käyttöön
Aloita maksutta

Lisää 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

Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Kiva sovellus podcastien kuunteluun, ja sisältö on monipuolista ja kiinnostavaa
Todella kiva äppi, helppo käyttää ja paljon podcasteja, joita en tiennyt ennestään.

Valitse tilauksesi

Suosituimmat

Premium

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

14 vrk ilmainen kokeilu
Sitten 7,99 € / kuukausi

Aloita maksutta

Premium

20 tuntia äänikirjoja

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

14 vrk ilmainen kokeilu
Sitten 9,99 € / kuukausi

Aloita maksutta

Premium

100 tuntia äänikirjoja

  • Podimon podcastit

  • Ei mainoksia Podimon podcasteissa

  • Peru milloin tahansa

14 vrk ilmainen kokeilu
Sitten 19,99 € / kuukausi

Aloita maksutta

Vain Podimossa

Suosittuja äänikirjoja

Usein kysytyt kysymykset

Lisää kysymyksiä & vastauksia
Aloita maksutta

14 vrk ilmainen kokeilu. Kokeilun jälkeen 7,99 € / kuukausi. Peru milloin tahansa.