tlaplus-toolbox-ohjelmasta on luettelossa 1 versio, ensimmäinen ja uusin 1.8.0. Jokainen versio linkittää julkaisijan omiin asennustiedostoihin.
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 1.8.0Uusin | — | Kaikki suorittimet ZIP |
tlaplus-toolbox: vanhemmat versiot ja versiohistoria
IDE for the TLA+ tools.
- LisenssiAvoin lähdekoodi
- Versio1.8.0
- VaatimuksetWindows 10, 11
Suosituin kategoriassa Tiede ja matematiikka
Näytä kaikki-
StellariumTiede ja matematiikka · Stellarium team -
KiCadTiede ja matematiikka · KiCad -
QuartoTiede ja matematiikka · Rstudio, PBC -
Qalculate!Tiede ja matematiikka · Hanna Knutsson -
JASPTiede ja matematiikka · Universiteit van Amsterdam -
OpenChromTiede ja matematiikka · Lablicate GmbH -
Klayout - Layout Viewer And EditorTiede ja matematiikka · Matthias Koefferlein - scilabTiede ja matematiikka · Dassault Systèmes
-
AvogadroTiede ja matematiikka · Humanity -
fendTiede ja matematiikka · printfn