У спісе 1 версія праграмы tlaplus-toolbox, бягучая — 1.8.0. Кожная версія вядзе на ўсталёўшчыкі з сервера распрацоўшчыка.
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 1.8.0Апошняя | — | Любая архітэктура ZIP |
tlaplus-toolbox: спампаваць старыя версіі
IDE for the TLA+ tools.
- ЛіцэнзіяАдкрыты код
- Версія1.8.0
- ПатрабаванніWindows 10, 11
Самае папулярнае ў катэгорыі «Навука і матэматыка»
Паказаць усе-
StellariumНавука і матэматыка · Stellarium team -
KiCadНавука і матэматыка · KiCad -
QuartoНавука і матэматыка · Rstudio, PBC -
Qalculate!Навука і матэматыка · Hanna Knutsson -
JASPНавука і матэматыка · Universiteit van Amsterdam -
OpenChromНавука і матэматыка · Lablicate GmbH -
Klayout - Layout Viewer And EditorНавука і матэматыка · Matthias Koefferlein - scilabНавука і матэматыка · Dassault Systèmes
-
AvogadroНавука і матэматыка · Humanity -
fendНавука і матэматыка · printfn