TLA+ Toolbox

Leslie Lamport

Загрузить сейчас с сайта разработчика

Лицензия: С открытым кодом

Количество загрузок:28

Последняя версия:1.5.2

Сообщить о неточности

Описание

Cкриншот

TLA+ Toolbox 1.5.2 можно было скачать с сайта разработчика при последней проверке. Мы не можем гарантировать бесплатную загрузку этой программы. Эта бесплатная программа для Mac OS X принадлежит Leslie Lamport. Программа принадлежит к категории Разработчикам, а точнее к подкатегории IDE.

От разработчика:

The TLA Toolbox is an IDE (integrated development environment) for the TLA tools. You can use it to:
- Create and edit your specs, with the locations of parsing errors marked in the modules.
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code.

Мы предлагаем оценить другие macOS программы, такие как Toolbox for Pages, Toolbox for Keynote или Electroacoustics Toolbox, которые часто используются вместе с TLA+ Toolbox.

Скачать TLA+ Toolbox с сайта разработчика

полезно

Как защитить свой Mac от вредоносных программ

полезно

Как делиться файлами

полезно

Как печатать 10 пальцами