 | Triplo ABiblioteca Full-Featured for (finite) autômato escrito em Java |
| Baixe Agora | |
Triplo A Classificação e resumo
Propaganda
- Licença:
- Freeware
- Preço:
- FREE
- Nome do editor:
- Markus Strauch
- Site do editor:
- Sistemas operacionais:
- macOS
- Tamanho do arquivo:
- 3.1 MB
Triplo A Tag
Triplo A Descrição
Biblioteca Full-Featured for (finite) autômato escrito em Java Triple-A (Análise Automática com Automata) é uma biblioteca de recursos completos para autômatos (finitos) escritos em Java com duas poderosas ferramentas de análise (lidar com a verificação de modelo LTL e aritmética do presburger) e uma interface gráfica do usuário construída em torno dela. Requisitos: · Java 1.5 ou mais tarde
Triplo A Software Relacionado
