Raccolta di risorse gratuite per il linguaggio Ada e Spark
"Ada è un linguaggio all'avanguardia utilizzato per la realizzazione di software di importanza cruciale: dai microkernel e dai sistemi embedded in tempo reale di piccole dimensioni alle applicazioni aziendali su larga scala [...]
SPARK è un sottoinsieme di Ada analizzabile formalmente e un set di strumenti che porta la sicurezza matematica nella verifica del software."
#guufITA #dev #ada #guufxmpp #adalang
“learn.adacore.com"
An interactive learning platform to teach the Ada and SPARK programming languages.
learn.adacore.com (learn.adacore.com)
