Estructuras de Datos y Algoritmos (EDA)

Os presento la serie de perlas sobre Ada (Ada Gems) que elabora AdaCore.

Por ejemplo, hay una perla que trata sobre la evaluación de pre-condiciones y post-condiciones:

Gem #31: preconditions/postconditions.