Interval arithmetic for Ada 1.10

คณิตศาสตร์ช่วงเวลาสำหรับ Ada เป็นห้องสมุดคณิตศาสตร์ที่ให้การดำเนินการช่วงเวลาสำหรับ Ada ซึ่งจะรวมถึงการคำนวณและการดำเนินงานเชิงสัมพันธ์ตัวอย่าง:Tri-รัฐตรรกะช่วงเวลาที่แพคเกจทำหน้าที่เป็นแพคเกจรากและยังให้ตรรกะรัฐ tri...

ซอฟแวร์ที่แนะนำ เพื่อ Linux

  • PDL
    PDL 15 Apr 15