Triple-A

por Markus Strauch

Baixar agora do site do desenvolvedor

3.0

em 19 votos

Licença: Código aberto

Total de downloads:8

Latest version:1.4.1

Denunciar informações incorretas

Descrição

Imagem do ecrã

Triple-A 1.4.1 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros. O software está dentro de Educação, na subcategoria Science. O desenvolvedor do Triple-A é Markus Strauch.

Do desenvolvedor:

Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java. The application comes with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.

Confira mais programas, tais como Triplea, Final Cut Pro ou SoftMax Pro, que podem ser similares a Triple-A.

Baixar Triple-A do site do desenvolvedor

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos