Tersedia 1 versi tlaplus-toolbox, mulai dari hingga versi terbaru 1.8.0. Setiap versi tertaut ke file installer milik penerbit.
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 1.8.0Terbaru | — | Semua prosesor ZIP |
Download tlaplus-toolbox versi lama dan semua versi
IDE for the TLA+ tools.
- LisensiOpen source
- Versi1.8.0
- PersyaratanWindows 10, 11
Terpopuler di Sains & matematika
Lihat semua-
StellariumSains & matematika · Stellarium team -
KiCadSains & matematika · KiCad -
QuartoSains & matematika · Rstudio, PBC -
Qalculate!Sains & matematika · Hanna Knutsson -
JASPSains & matematika · Universiteit van Amsterdam -
OpenChromSains & matematika · Lablicate GmbH -
Klayout - Layout Viewer And EditorSains & matematika · Matthias Koefferlein - scilabSains & matematika · Dassault Systèmes
-
AvogadroSains & matematika · Humanity -
fendSains & matematika · printfn