Her finner du 1 versjon av tlaplus-toolbox, fra til gjeldende 1.8.0. Hver av dem lenker til utgiverens egne installasjonsfiler.
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.8.0Nyeste | — | Alle prosessorer ZIP |
tlaplus-toolbox: eldre versjoner og versjonshistorikk
IDE for the TLA+ tools.
- LisensÅpen kildekode
- Versjon1.8.0
- KravWindows 10, 11
Mest populær i Vitenskap og matematikk
Se alle-
StellariumVitenskap og matematikk · Stellarium team -
KiCadVitenskap og matematikk · KiCad -
QuartoVitenskap og matematikk · Rstudio, PBC -
Qalculate!Vitenskap og matematikk · Hanna Knutsson -
JASPVitenskap og matematikk · Universiteit van Amsterdam -
OpenChromVitenskap og matematikk · Lablicate GmbH -
Klayout - Layout Viewer And EditorVitenskap og matematikk · Matthias Koefferlein - scilabVitenskap og matematikk · Dassault Systèmes
-
AvogadroVitenskap og matematikk · Humanity -
fendVitenskap og matematikk · printfn