Posts tagged Ada-83

05 жовтня 2025 - Ада: Мова, народжена з кризи.

Posts tagged Alire

26 січня 2025 - Практичне введення в Alire

Posts tagged IDE

17 лютого 2025 - Вибір середовища розробки для Ada

Posts tagged Ravenscar

07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar

Posts tagged SPARK

16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK

Posts tagged ada-ukraine

16 вересня 2024 - Ласкаво просимо на Ada Ukraine!

Posts tagged auj

19 жовтня 2025 - Ada User Journal 2024/2 (червень)

Posts tagged drivers

16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK

Posts tagged embedded

16 лютого 2026 - Формальний доказ на драйверах пристроїв за допомогою SPARK

07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar

03 листопада 2025 - Оновлення MAVLink для Ada.

09 березня 2025 - Вступ до програмування вбудованих систем мовою Ada

Posts tagged future

15 березня 2026 - Важливість концепції власності для досягнення безпеки памʼяті

Posts tagged network

07 січня 2026 - Мережевий стек IP в Ada 2012 та профіль Ravenscar

Posts tagged podcast

05 жовтня 2025 - Ада: Мова, народжена з кризи.

Posts tagged Подкаст

09 лютого 2026 - Серія відео про можливості Ada 2022

19 жовтня 2025 - Ada User Journal 2024/2 (червень)

08 травня 2025 - Подкаст україньскою

Posts tagged Посібник

09 лютого 2026 - Серія відео про можливості Ada 2022

08 травня 2025 - Подкаст україньскою

Posts tagged Початківцям

08 травня 2025 - Подкаст україньскою

09 березня 2025 - Вступ до програмування вбудованих систем мовою Ada

17 лютого 2025 - Вибір середовища розробки для Ada

26 січня 2025 - Практичне введення в Alire

Posts tagged історія

05 жовтня 2025 - Ада: Мова, народжена з кризи.