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