Artwork

Contenu fourni par Akronymisierbar. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Akronymisierbar ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.
Player FM - Application Podcast
Mettez-vous hors ligne avec l'application Player FM !

025 - Datenspuren 2018

29:49
 
Partager
 

Manage episode 217648872 series 1963921
Contenu fourni par Akronymisierbar. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Akronymisierbar ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Links

  • https://datenspuren.de/2018/
  • https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
  • Alle Talks: https://media.ccc.de/c/DS2018
  • https://learn.adacore.com
  • https://www.adacore.com/download/

Johannes auf Twitter und GitHub

  continue reading

58 episodes

Artwork
iconPartager
 
Manage episode 217648872 series 1963921
Contenu fourni par Akronymisierbar. Tout le contenu du podcast, y compris les épisodes, les graphiques et les descriptions de podcast, est téléchargé et fourni directement par Akronymisierbar ou son partenaire de plateforme de podcast. Si vous pensez que quelqu'un utilise votre œuvre protégée sans votre autorisation, vous pouvez suivre le processus décrit ici https://fr.player.fm/legal.

Es waren mal wieder Datenspuren in Dresden. Wir haben uns dieses Mal mit Johannes unterhalten, der einen Vortrag über Ada, Spark und formale Verifikation gehalten hat.

Links

  • https://datenspuren.de/2018/
  • https://media.ccc.de/v/DS2018-9332-program_verification_with_spark
  • Alle Talks: https://media.ccc.de/c/DS2018
  • https://learn.adacore.com
  • https://www.adacore.com/download/

Johannes auf Twitter und GitHub

  continue reading

58 episodes

Tous les épisodes

×
 
Loading …

Bienvenue sur Lecteur FM!

Lecteur FM recherche sur Internet des podcasts de haute qualité que vous pourrez apprécier dès maintenant. C'est la meilleure application de podcast et fonctionne sur Android, iPhone et le Web. Inscrivez-vous pour synchroniser les abonnements sur tous les appareils.

 

Guide de référence rapide

Écoutez cette émission pendant que vous explorez
Lire