Interval rekenkunde voor Ada is een wiskunde bibliotheek die een implementatie van intervallen voor Ada biedt. Het omvat rekenkundige en relationele operaties.Voorbeelden:Tri-state logicaHet pakket Intervallen dient als root-pakket en biedt ook tri-state...