Detalhes de Software:
Versão: 1.0
Data de upload: 20 Feb 15
Licença: Livre
Popularidade: 6
SpanTools é uma aplicação de código aberto que pode verificar e definir os sistemas, que são expressos como redes de itens com transições e estados.
. SpanTools é capaz de avaliar Cospan (monoidal Gráfico) expressões, bem como para calcular o gráfico monoidal de uma expressão
Requisitos :
- Java 2 Standard Edition Runtime Environment
Comentários não encontrado