TLA+ Toolbox

par Leslie Lamport

Ooops

le lien de téléchargement a disparu

Type de licence: Open source

Nombre de téléchargements:33

Latest version:1.5.2

Signaler des informations incorrectes

Description

Capture d'écran

TLA+ Toolbox 1.5.2 est téléchargeable gratuitement dans notre logithèque. 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 Disk Drill, MAMP PRO ou TeXworks.

utile

Comment protéger votre Mac contre les logiciels malveillants

utile

Comment partager des fichiers

utile

Comment taper avec 10 doigts