TLA+ Toolbox

por Leslie Lamport

Baixar agora do site do desenvolvedor

Licença: Código aberto

Total de downloads:26

Latest version:1.5.2

Denunciar informações incorretas

Descrição

Imagem do ecrã

TLA+ Toolbox 1.5.2 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. O desenvolvedor do programa é Leslie Lamport. O programa está relacionado como Ferramentas de Desenvolvimento.

Do desenvolvedor:

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.

Confira mais programas, tais como TinkerTool System, Total Video Converter Pro ou PCalc, que podem ser similares a TLA+ Toolbox.

Baixar TLA+ Toolbox do site do desenvolvedor

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos