Software kuvakaappaus:
Ohjelmiston tiedot:
SpanTools on avoimen lähdekoodin sovellus, joka voi tarkistaa ja määritellä järjestelmiä, jotka ilmaistaan verkostoja kohteita siirtymiä ja valtioiden.
SpanTools osaa arvioida Cospan (Monoidal kaavio) ilmaisuja, sekä laskea monoidal kuvaaja ilmaisua.
Vaatimukset :
- Java 2 Standard Edition Runtime Environment
Kommentteja ei löytynyt