Detalles de software:
Versión: 1.0
Fecha de carga: 20 Feb 15
Licencia: Libre
Popularidad: 0
SpanTools es una aplicación de código abierto que se puede comprobar y definir los sistemas, que se expresan como redes de artículos con transiciones y estados.
. SpanTools es capaz de evaluar Cospan (monoidal gráfico) expresiones, así como para calcular la gráfica monoidal de una expresión
Requisitos :
- Java 2 Standard Edition Runtime Environment
Comentarios que no se encuentran