.TLA - Extensión de archivo
TLA es logotipo de inicio de utilidades TuneUp.
Características | Descripción |
---|---|
Extensión de archivo | .tla |
Formato | Binary |
Desarrollador por | TuneUp Corporation |
Categoría | Misc |
TLA es logotipo de inicio de utilidades TuneUp.
Características | Descripción |
---|---|
Extensión de archivo | .tla |
Formato | Binary |
Desarrollador por | TuneUp Corporation |
Categoría | Misc |
La extensión del archivo TLA está asociada con la lógica temporal de acciones, una lógica para especificar y razonar sobre sistemas concurrentes y reactivos.
Es la base para TLA+, un lenguaje de especificación completo.
Los archivos con sufijo de archivo TLA están relacionados con el formato de datos de lógica temporal de acciones.