Interval аритметика за Ада е по математика библиотека, която осигурява изпълнението на интервали за Ада. Тя включва аритметиката и релационни операции.Примери:Tri-членка логикаИнтервали Пакетните служи като базов пакет и също така предоставя три състояние...