Aici sunt listate 1 versiune ale programului tlaplus-toolbox, de la până la versiunea actuală, 1.8.0. Fiecare trimite la instalatoarele oficiale ale dezvoltatorului.
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 1.8.0Cea mai nouă | — | Orice procesor ZIP |
tlaplus-toolbox: versiuni mai vechi, descărcare
IDE for the TLA+ tools.
- LicențăOpen source
- Versiune1.8.0
- CerințeWindows 10, 11
Cele mai populare în Știință și matematică
Vezi tot-
StellariumȘtiință și matematică · Stellarium team -
KiCadȘtiință și matematică · KiCad -
QuartoȘtiință și matematică · Rstudio, PBC -
Qalculate!Știință și matematică · Hanna Knutsson -
JASPȘtiință și matematică · Universiteit van Amsterdam -
OpenChromȘtiință și matematică · Lablicate GmbH -
Klayout - Layout Viewer And EditorȘtiință și matematică · Matthias Koefferlein - scilabȘtiință și matematică · Dassault Systèmes
-
AvogadroȘtiință și matematică · Humanity -
fendȘtiință și matematică · printfn