Список включает 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 -
ghidraНаука и математика -
scilabНаука и математика · Dassault Systèmes -
AvogadroНаука и математика · Humanity