ברשימה גרסה אחת של 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