Software skärmdump:
Mjukvaruinformation:
SpanTools är ett open source program som kan kontrollera och definiera system, som uttrycks som nätverk av objekt med övergångar och stater.
. SpanTools kan utvärdera Cospan (Monoidal Graph) uttryck, samt att beräkna monoidal grafen av ett uttryck
Krav :
- Java 2 Standard Edition Runtime Environment
Kommentarer hittades inte