TLA+ Toolbox

TLA+ Toolbox

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Código abierto
Descargas totales:27
Latest version:1.5.2
Reportar información incorrecta

Descripción

Screenshot
Captura de pantalla

TLA+ Toolbox 1.5.2 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. 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, Toolbox for Keynote o Electroacoustics Toolbox, que podrían ser parecidos a TLA+ Toolbox.

Comentarios

¡Gracias por valorar el programa!
Por favor, añade un comentario explicando las razones de tu voto.
Tu voto:
Información actualizada el:
Últimas actualizaciones
Reflector
Reflector

Asistentes de dispositivos

Bible Study
Bible Study

Religion & Esoterics

Apple Logic Pro
Apple Logic Pro

Producción musical

Haz tus descargas más fáciles Haz tus descargas más fáciles
Descubre FDM
Complemento de soporte Puede obtener complementos que descargan archivos/videos de sitios web arbitrarios.