* new(?) intros to Ada and Spark on adacore.com
@ 2020-09-03 6:50 Paul Rubin
0 siblings, 0 replies; only message in thread
From: Paul Rubin @ 2020-09-03 6:50 UTC (permalink / raw)
I don't remember seeing these here before. They look promising:
https://learn.adacore.com/courses/courses.html :
Introduction to Ada
Introduction to SPARK
Ada for the C++ or Java Developer
SPARK Ada for the MISRA C Developer
Introduction to GNAT Toolchain
https://learn.adacore.com/courses/intro-to-ada/index.html
https://learn.adacore.com/courses/intro-to-spark/index.html
https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/index.html
https://learn.adacore.com/courses/SPARK_for_the_MISRA_C_Developer/index.html
https://learn.adacore.com/courses/GNAT_Toolchain_Intro/index.html
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-09-03 6:50 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-03 6:50 new(?) intros to Ada and Spark on adacore.com Paul Rubin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox