Aquí hi ha 1 versió de tlaplus-toolbox, des de fins a l’actual, 1.8.0. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 1.8.0Darrera versió | — | Qualsevol processador ZIP |
tlaplus-toolbox: baixar versions anteriors
IDE for the TLA+ tools.
- LlicènciaCodi obert
- Versió1.8.0
- RequisitsWindows 10, 11
El més popular a Ciència i matemàtiques
Mostra-ho tot-
StellariumCiència i matemàtiques · Stellarium team -
KiCadCiència i matemàtiques · KiCad -
QuartoCiència i matemàtiques · Rstudio, PBC -
Qalculate!Ciència i matemàtiques · Hanna Knutsson -
JASPCiència i matemàtiques · Universiteit van Amsterdam -
OpenChromCiència i matemàtiques · Lablicate GmbH -
Klayout - Layout Viewer And EditorCiència i matemàtiques · Matthias Koefferlein - scilabCiència i matemàtiques · Dassault Systèmes
-
AvogadroCiència i matemàtiques · Humanity -
fendCiència i matemàtiques · printfn