Windows Mac
FR
Triple-A

Triple-A

Télécharger depuis le site Web du développeur
3.0

avec 19 votes
Type de licence: Open source
Nombre de téléchargements:2
Latest version:1.4.1
Signaler des informations incorrectes

Description

Screenshot
Capture d'écran

Triple-A 1.4.1 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.

Sur notre site, vous trouverez Triple-A dans Éducation et Science et plus précisément Science. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. 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, ConceptDraw PRO ou MixMeister Express.

Télécharger Triple-A depuis le site Web du développeur
utile
Comment protéger votre Mac contre les logiciels malveillants
utile
Comment partager des fichiers
utile
Comment taper avec 10 doigts

Commentaires

Facebook
Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote:
Info mise à jour:
Logiciel PC associé
Blue Cat's Triple EQ x64 AAX
Blue Cat's Triple EQ x64 AAX

Production musicale
Triple Rotate
Triple Rotate

Puzzle
Dernières mises à jour
HOTPin
HOTPin

Informatique à Distance

Telegram
Telegram

Texting & Video calls

Cyberduck
Cyberduck

Gestionnaires de Téléchargement

Facilite les téléchargements Facilite les téléchargements Découvrez FDM Le support des extensions Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.