tlaplus-toolbox programının ile güncel 1.8.0 arasındaki 1 sürümü burada. Her sürüm, yayıncının kendi kurulum dosyasına bağlanır.
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 1.8.0Güncel | — | Tüm işlemciler ZIP |
tlaplus-toolbox eski sürümleri ve tüm sürümler
IDE for the TLA+ tools.
- LisansAçık kaynak
- Sürüm1.8.0
- GereksinimWindows 10, 11
Bilim ve matematik: en popüler
Tümünü gör-
StellariumBilim ve matematik · Stellarium team -
KiCadBilim ve matematik · KiCad -
QuartoBilim ve matematik · Rstudio, PBC -
Qalculate!Bilim ve matematik · Hanna Knutsson -
JASPBilim ve matematik · Universiteit van Amsterdam -
OpenChromBilim ve matematik · Lablicate GmbH -
Klayout - Layout Viewer And EditorBilim ve matematik · Matthias Koefferlein - scilabBilim ve matematik · Dassault Systèmes
-
AvogadroBilim ve matematik · Humanity -
fendBilim ve matematik · printfn