TLA+ Toolbox

par Leslie Lamport

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

Type de licence: Open source

Nombre de téléchargements:27

Latest version:1.5.2

Signaler des informations incorrectes

Description

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 SendToX.

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