Aquí figuran 1 versiones de tlaplus-toolbox, desde hasta la actual, 1.8.0. Cada una enlaza con los instaladores del propio desarrollador.
| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.8.0Última versión | — | Cualquier procesador ZIP |
tlaplus-toolbox: descargar versiones anteriores
IDE for the TLA+ tools.
- LicenciaCódigo abierto
- Versión1.8.0
- RequisitosWindows 10, 11
Lo más popular en Ciencias y matemáticas
Ver todo-
StellariumCiencias y matemáticas · Stellarium team -
KiCadCiencias y matemáticas · KiCad -
QuartoCiencias y matemáticas · Rstudio, PBC -
Qalculate!Ciencias y matemáticas · Hanna Knutsson -
JASPCiencias y matemáticas · Universiteit van Amsterdam -
OpenChromCiencias y matemáticas · Lablicate GmbH -
Klayout - Layout Viewer And EditorCiencias y matemáticas · Matthias Koefferlein - scilabCiencias y matemáticas · Dassault Systèmes
-
AvogadroCiencias y matemáticas · Humanity -
fendCiencias y matemáticas · printfn