Her er 1 versioner af tlaplus-toolbox, fra til den aktuelle 1.8.0. Hver version linker til udgiverens egne installationsfiler.
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.8.0Nyeste | — | Alle processorer ZIP |
tlaplus-toolbox: download ældre versioner
IDE for the TLA+ tools.
- LicensOpen source
- Version1.8.0
- KræverWindows 10, 11
Mest populære i Videnskab og matematik
Se alle-
StellariumVidenskab og matematik · Stellarium team -
KiCadVidenskab og matematik · KiCad -
QuartoVidenskab og matematik · Rstudio, PBC -
Qalculate!Videnskab og matematik · Hanna Knutsson -
JASPVidenskab og matematik · Universiteit van Amsterdam -
OpenChromVidenskab og matematik · Lablicate GmbH -
Klayout - Layout Viewer And EditorVidenskab og matematik · Matthias Koefferlein - scilabVidenskab og matematik · Dassault Systèmes
-
AvogadroVidenskab og matematik · Humanity -
fendVidenskab og matematik · printfn