TLA+ (Q28955120)
Jump to navigation
Jump to search
programming language
- TLA⁺
Language | Label | Description | Also known as |
---|---|---|---|
English | TLA+ |
programming language |
|
Statements
23 April 1999
Language | Label | Description | Also known as |
---|---|---|---|
English | TLA+ |
programming language |
|