ไลบรารี Java สําหรับการจัดการ BD (ไดอะแกรมการตัดสินใจไบนารี) แผนภาพการตัดสินใจไบนารีใช้กันอย่างแพร่หลายในการตรวจสอบแบบจําลองการตรวจสอบอย่างเป็นทางการการเพิ่มประสิทธิภาพแผนภาพวงจร
ประวัติรุ่น
- เวอร์ชัน 0.6%20Win32%20binary โพสต์เมื่อ 2005-05-09
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 0.6 Win32 binary โพสต์เมื่อ 2005-05-09
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: javabdd.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 0.6
- แพ ลตฟอร์ม: linux