Qui sono elencate 1 versione di tlaplus-toolbox, dalla prima () fino all’attuale 1.8.0. Ognuna rimanda ai file di installazione del produttore.
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 1.8.0Ultima versione | — | Qualsiasi CPU ZIP |
tlaplus-toolbox: versioni precedenti da scaricare
IDE for the TLA+ tools.
- LicenzaOpen source
- Versione1.8.0
- RequisitiWindows 10, 11
Il più popolare in Scienza e matematica
Vedi tutti-
StellariumScienza e matematica · Stellarium team -
KiCadScienza e matematica · KiCad -
QuartoScienza e matematica · Rstudio, PBC -
Qalculate!Scienza e matematica · Hanna Knutsson -
JASPScienza e matematica · Universiteit van Amsterdam -
OpenChromScienza e matematica · Lablicate GmbH -
Klayout - Layout Viewer And EditorScienza e matematica · Matthias Koefferlein - scilabScienza e matematica · Dassault Systèmes
-
AvogadroScienza e matematica · Humanity -
fendScienza e matematica · printfn