Triple-A

por Markus Strauch

Descargar ahora desde el sitio web del desarrollador

3.0

con 19 voto

Tipo de licencia: Código abierto

Descargas totales:8

Latest version:1.4.1

Reportar información incorrecta

Descripción

Captura de pantalla

Triple-A 1.4.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. El auténtico artífice de este programa sin coste es Markus Strauch. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. Triple-A pertenece al grupo de programas Educación y Ciencia, en concreto al de aplicaciones sobre Science.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como Triplea, Steinberg Library Manager o iPhoto Library Manager, que podrían ser similares a Triple-A.

Descarga Triple-A desde el sitio web del desarrollador

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos