محتوای ارائه شده توسط Akronymisierbar. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Akronymisierbar یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

Akronymisierbar « »
025 - Datenspuren 2018

6y 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 در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.

به بیش از 500 موضوع گوش کنید

مشابه Akronymisierbar

پادکست هایی که ارزش شنیدن دارند

Akronymisierbar « » 025 - Datenspuren 2018

Links

025 - Datenspuren 2018

Links

پادکست هایی که ارزش شنیدن دارند

به Player FM خوش آمدید!

مشابه Akronymisierbar

راهنمای مرجع سریع

Akronymisierbar « »
025 - Datenspuren 2018