Këtu janë renditur 1 version të tlaplus-toolbox, nga deri te versioni aktual 1.8.0. Secili të çon te skedarët e instalimit të vetë botuesit.
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 1.8.0I fundit | — | Çdo procesor ZIP |
tlaplus-toolbox: versionet e vjetra dhe historiku
IDE for the TLA+ tools.
- LicencaMe burim të hapur
- Versioni1.8.0
- KërkonWindows 10, 11
Më të njohurat në „Shkencë dhe matematikë”
Shiko të gjitha-
StellariumShkencë dhe matematikë · Stellarium team -
KiCadShkencë dhe matematikë · KiCad -
QuartoShkencë dhe matematikë · Rstudio, PBC -
Qalculate!Shkencë dhe matematikë · Hanna Knutsson -
JASPShkencë dhe matematikë · Universiteit van Amsterdam -
OpenChromShkencë dhe matematikë · Lablicate GmbH -
Klayout - Layout Viewer And EditorShkencë dhe matematikë · Matthias Koefferlein - scilabShkencë dhe matematikë · Dassault Systèmes
-
AvogadroShkencë dhe matematikë · Humanity -
fendShkencë dhe matematikë · printfn