tlaplus-toolbox மென்பொருளின் 1 பதிப்புகள் இங்கே உள்ளன. ஒவ்வொன்றும் வெளியீட்டாளரின் சொந்த நிறுவிக் கோப்புகளுக்கு இணைப்பு தருகிறது.
| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 1.8.0சமீபத்தியது | — | அனைத்து CPU-களும் 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