- Mac
- Educación y Ciencia
- Science
- Triple-A
Triple-A
Descripción
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 iPhoto Library Manager, Delicious Library 2 o Steinberg Library Manager, que podrían ser similares a Triple-A.
Comentarios
Por favor, añade un comentario explicando las razones de tu voto.