Artwork

Technologie Dresden Swift Lifestyle Rust Akronymisierbar Typescript

المحتوى المقدم من Akronymisierbar. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Akronymisierbar أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

Akronymisierbar « »
025 - Datenspuren 2018

6+ y ago 29:49

مشاركة

MP3•منزل الحلقة

المحتوى المقدم من Akronymisierbar. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Akronymisierbar أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.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 حلقات

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

Artwork

025 - Datenspuren 2018

Akronymisierbar

published 6+ y ago

مشاركة

MP3•منزل الحلقة

المحتوى المقدم من Akronymisierbar. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Akronymisierbar أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.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 حلقات

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

كل الحلقات

×

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.

الاستماع إلى +500 موضوع

دليل مرجعي سريع

أعلى المدونة الصوتية

SciDose بودكاست

Quizeculo كويزيكيلو

Faysalosophy Podcast | فيصلُوسُفِي بودكاست

Alkshkool بودكاست الكشكول

المحور الثاني

بودكاست كلام

Arabic News - NHK WORLD RADIO JAPAN

KBS WORLD Radio نشرة الأخبار

بزنس بالعربي (Business بالعربى )

Science Quickly

بودكاست شرفة

بداية الحكاية

Damiri | داميري

mishbilshibshib | مش بالشبشب

استمع إلى هذا العرض أثناء الاستكشاف