Интервальная арифметика для Ады это математическая библиотека, которая обеспечивает реализацию интервалов для Ады. Она включает в себя арифметические и реляционные операции.Примеры:Tri-State LogicИнтервалы пакет служит в качестве корневого пакета, а также...