Seznam obsahuje 1 verzi programu tlaplus-toolbox, aktuální je 1.8.0. Každá verze vede na instalátory ze serveru výrobce.
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 1.8.0Nejnovější | — | Libovolná architektura ZIP |
tlaplus-toolbox: starší verze ke stažení
IDE for the TLA+ tools.
- LicenceOpen source
- Verze1.8.0
- PožadavkyWindows 10, 11
Nejoblíbenější v kategorii „Věda a matematika“
Zobrazit vše-
StellariumVěda a matematika · Stellarium team -
KiCadVěda a matematika · KiCad -
QuartoVěda a matematika · Rstudio, PBC -
Qalculate!Věda a matematika · Hanna Knutsson -
JASPVěda a matematika · Universiteit van Amsterdam -
OpenChromVěda a matematika · Lablicate GmbH -
Klayout - Layout Viewer And EditorVěda a matematika · Matthias Koefferlein - scilabVěda a matematika · Dassault Systèmes
-
AvogadroVěda a matematika · Humanity -
fendVěda a matematika · printfn