Triple-A

janv. 28, 2024
Évaluation:
3.0 avec 19 votes
Catégorie:
Éducation et ScienceScience
Développeur:
Markus Strauch
Type de licence:
Open source
Nombre de téléchargements:
2
Latest version:
1.4.1

Description

Triple-A 1.4.1 est disponible gratuitement au téléchargement dans notre logithèque. Sur notre site, vous trouverez Triple-A dans Éducation et Science et plus précisément Science. Notre antivirus a vérifié ce téléchargement, il est garanti sans aucun virus. Ce logiciel gratuit a été à l'origine écrit par Markus Strauch.

Du développeur:

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.

Utilisateur de Triple-A, vous pourriez être intéressé également par ces outils : Final Cut Pro, iSubtitle ou ConceptDraw PRO.

Comment protéger votre Mac contre les logiciels malveillants
En avant
Comment partager des fichiers
En avant
Comment taper avec 10 doigts
En avant

Dernières mises à jour

WineBottler

Optimisation Système

WiFi Signal

Optimisation Système

iBoostUp

Optimisation Système