số học Interval cho Ada là một thư viện toán học cung cấp một thực hiện khoảng thời gian cho Ada. Nó bao gồm số học và các hoạt động quan hệ.Ví dụ:Tri-trạng thái logicThe Khoảng gói phục vụ như là một gói rễ và cũng cung cấp lý tri-nhà nước cần thiết để...