From: Paul Rubin <no.email@nospam.invalid>
Subject: new(?) intros to Ada and Spark on adacore.com
Date: Wed, 02 Sep 2020 23:50:01 -0700 [thread overview]
Message-ID: <87lfhrxskm.fsf@nightsong.com> (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
reply other threads:[~2020-09-03 6:50 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox