Windows Mac
FR
TLA+ Toolbox

TLA+ Toolbox

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

Type de licence: Open source
Nombre de téléchargements:26
Latest version:1.5.2
Signaler des informations incorrectes

Description

Screenshot
Capture d'écran

TLA+ Toolbox 1.5.2 é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. Ce logiciel gratuit a été à l'origine produit par Leslie Lamport. Ce logiciel se trouve dans la sous-catégorie IDE de Outils de développement.

Du développeur:

The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:
- Create and edit your specs, with the locations of parsing errors marked in the modules.
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.

Peut-être voudriez-vous essayer également des logiciels en rapport avec TLA+ Toolbox ? Nous vous proposons MAMP PRO, TeXworks ou ClamXV.

Télécharger TLA+ Toolbox 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é
Canon MF Toolbox
Canon MF Toolbox

Gestion de Documents
CanoScan Toolbox
CanoScan Toolbox

Assistants de Périphériques
Dernières mises à jour
SoCatch
SoCatch

Informatique à Distance

BlueGriffon
MPlayer OSX Extended
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.