assertive programming with spark (adacore gap workshop june 21, 2023)
Published 1 year ago • 366 plays • Length 24:14Download video MP4
Download video MP3
Similar videos
-
25:16
spark/ada for high integrity spacecraft software (adacore gap workshop june 21, 2023)
-
32:08
introducing students to formal methods through spark (adacore gap workshop june 21, 2022)
-
17:26
update on adacore technologies for academia (adacore gap workshop june 21, 2023)
-
39:19
spark/ada in formal software system modeling and design (adacore gap workshop june 21, 2022)
-
19:22
technical update on ada, spark, libadalang, and vs code (adacore gap workshop june 21, 2022)
-
1:22:30
ada programming introduction
-
2:20
gap workshop eng sub 👯 (ppllhh309)
-
51:18
an introduction to ada for beginning and experienced programmers
-
17:27
update on the ada community and alire package manager (adacore gap workshop june 21, 2022)