รายละเอียดซอฟแวร์:
SpanTools เป็นโปรแกรมโอเพนซอร์สที่สามารถตรวจสอบและกำหนดระบบซึ่งจะแสดงเป็นเครือข่ายของรายการที่มีการเปลี่ยนและรัฐ
. SpanTools สามารถที่จะประเมิน Cospan (Monoidal กราฟ) การแสดงออกเช่นเดียวกับการคำนวณกราฟ monoidal ในการแสดงออก
ต้องการ
- Java 2 Standard Edition Runtime Environment
ความคิดเห็นที่ไม่พบ