Контент предоставлен Akronymisierbar. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Akronymisierbar или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.player.fm/legal.

Akronymisierbar « »
025 - Datenspuren 2018

6+ y ago 29:49

MP3•Главная эпизода

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

58 эпизодов

#Technologie #Dresden #Swift #Lifestyle #Rust #Akronymisierbar #Typescript

Все серии

Добро пожаловать в Player FM!

Player FM сканирует Интернет в поисках высококачественных подкастов, чтобы вы могли наслаждаться ими прямо сейчас. Это лучшее приложение для подкастов, которое работает на Android, iPhone и веб-странице. Зарегистрируйтесь, чтобы синхронизировать подписки на разных устройствах.

Слушайте шоу на 500+ тем

Похожие на Akronymisierbar

Подкасты, которые стоит послушать

Akronymisierbar « » 025 - Datenspuren 2018

Links

025 - Datenspuren 2018

Links

Подкасты, которые стоит послушать

Добро пожаловать в Player FM!

Похожие на Akronymisierbar

Краткое руководство

Akronymisierbar « »
025 - Datenspuren 2018