.TLA - Розширення файлу
.tla - логотип запуску утиліти Tuneup.
Функції | Опис |
---|---|
Розширення файлу | .tla |
Формат | Binary |
Створено | TuneUp Corporation |
Категорія | Misc |
.tla - логотип запуску утиліти Tuneup.
Функції | Опис |
---|---|
Розширення файлу | .tla |
Формат | Binary |
Створено | TuneUp Corporation |
Категорія | Misc |
Що на цій сторінці
Розширення файлу tla пов'язане з тимчасовою логікою дій, логікою уточнення та міркувань про одночасні та реактивні системи.
Це основа для TLA+, повної мови специфікацій.
Файли з суфіксом файлу tla пов'язані з тимчасовою логікою формату даних.