Intervall aritmetikk for Ada er en matte bibliotek som gir en implementering av intervaller for Ada. Det inkluderer aritmetikk og relasjonsoperasjonene.Eksempler:Tri-state logikkPakken Intervaller fungerer som en rot pakke og gir også tri-state logikk...