Seznam zajema 1 različico programa tlaplus-toolbox; trenutna je 1.8.0. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 1.8.0Najnovejša | — | Kateri koli procesor ZIP |
tlaplus-toolbox: starejše različice za prenos
IDE for the TLA+ tools.
- LicencaOdprta koda
- Različica1.8.0
- ZahteveWindows 10, 11
Najbolj priljubljeno v kategoriji „Znanost in matematika“
Prikaži vse-
StellariumZnanost in matematika · Stellarium team -
KiCadZnanost in matematika · KiCad -
QuartoZnanost in matematika · Rstudio, PBC -
Qalculate!Znanost in matematika · Hanna Knutsson -
JASPZnanost in matematika · Universiteit van Amsterdam -
OpenChromZnanost in matematika · Lablicate GmbH -
Klayout - Layout Viewer And EditorZnanost in matematika · Matthias Koefferlein - scilabZnanost in matematika · Dassault Systèmes
-
AvogadroZnanost in matematika · Humanity -
fendZnanost in matematika · printfn