Estão listadas 1 versões de tlaplus-toolbox, de até a atual, 1.8.0. Cada uma aponta para os instaladores do próprio desenvolvedor.
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 1.8.0Última versão | — | Qualquer processador ZIP |
tlaplus-toolbox: baixar versões antigas
IDE for the TLA+ tools.
- LicençaCódigo aberto
- Versão1.8.0
- RequisitosWindows 10, 11
Mais popular em Ciências e matemática
Ver tudo-
StellariumCiências e matemática · Stellarium team -
KiCadCiências e matemática · KiCad -
QuartoCiências e matemática · Rstudio, PBC -
Qalculate!Ciências e matemática · Hanna Knutsson -
JASPCiências e matemática · Universiteit van Amsterdam -
OpenChromCiências e matemática · Lablicate GmbH -
Klayout - Layout Viewer And EditorCiências e matemática · Matthias Koefferlein - scilabCiências e matemática · Dassault Systèmes
-
AvogadroCiências e matemática · Humanity -
fendCiências e matemática · printfn