Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
social.kyiv.dcomm.net.ua is one of the many independent Mastodon servers you can use to participate in the fediverse.
Київський інстанс є частиною https://dcomm.net.ua. Українські локальні інстанси Mastodon були розгорнуті в 9 українських містах у серпні-вересні 2022 року

Administered by:

Server stats:

109
active users

social.kyiv.dcomm.net.ua: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

Макс 🇺🇦

Серед доступних відеозаписів презентацій AdaCore GAP Workshop 2023:

* Асертивне програмування з використанням SPARK
* Проектування та реалізація мережевого вбудованого осцилографа
* Паралельне програмування в реальному часі
* SPARK/Ada для високоінтегрованого космічного програмного забезпечення
* Оновлення технологій AdaCore для академії
* Оновлення спільноти Ada та менеджера пакетів Alire.

youtube.com/playlist?list=PLko
-lang

YouTubeAdaCore GAP Workshop, June 21, 2023By AdaCore
Jun 28, 2023, 09:00 AM·Public·Web
1boost·0favorites
ExploreLive feeds
About