እዚህ 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