TLA+ Toolbox

por Leslie Lamport

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Código abierto

Descargas totales:33

Latest version:1.5.2

Reportar información incorrecta

Descripción

Captura de pantalla

TLA+ Toolbox 1.5.2 puede descargarse desde nuestra página web gratuitamente. La herramienta pertenece al grupo Desarrollo, en concreto al de aplicaciones sobre IDE. El auténtico artífice de este programa sin coste es Leslie Lamport.

Del desarrollador:

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.

Quizás esté interesado en probar otros programas, como Toolbox for Pages, Electroacoustics Toolbox o Toolbox for Keynote, que podrían ser parecidos a TLA+ Toolbox.

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos