Triple-A

por Markus Strauch

Ooops

o link para download desapareceu

3.0

em 19 votos

Licença: Código aberto

Total de downloads:2

Latest version:1.4.1

Denunciar informações incorretas

Descrição

Imagem do ecrã

Triple-A 1.4.1 pode ser baixado do nosso banco de dados de graça. Nosso antivírus conferiu esse download e o avaliou como livre de vírus. 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 Final Cut Pro ou iSubtitle, que podem ser similares a Triple-A.

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos