Εδώ καταγράφονται 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