Ada i SPARK
Powitanie
Ada 2012
SPARK 2014
Mikrokontrolery
Mindstorms
Strona domowa
Niezawodne programowanie
warunek wstępny
Niezawodne programowanie::Ada 2012
Kontrakty
22/06/13 15:04
Omawiamy jedną z najważniejszych nowości w Adzie 2012 jaką są kontrakty.
Read More...
Tags:
kontrakt
,
warunek wstępny
,
warunek końcowy