Ada i SPARK
Powitanie
Ada 2012
SPARK 2014
Mikrokontrolery
Mindstorms
Strona domowa
Niezawodne programowanie
July 2013
Niezawodne programowanie::Ada 2012
|
March 2014
|
June 2013
GNAT Industrial User Day
09/07/13 17:34
W dniu 25 września odbędą się w Paryżu jednodniowe warsztaty o przemysłowych zastosowaniach języka
Ada
:
GNAT Industrial User Day
.
Tags:
zastosowanie
,
warszaty
,
weryfikacja
,
statyczna analiza
Wprowadzenie do języka Ada 2012
02/07/13 15:27
Wykład Eda Schonberga wprowadzający w język
Ada 2012
.
Read More...
Tags:
wprowadzenie
,
Ada