Skip to main content

Home
More

English ‎(en)‎

Deutsch ‎(de)‎ English ‎(en)‎

You are currently using guest access

Log in

Expand all Collapse all

FormalPar23
The Temporal Logic of Actions (TLA)
The Specification Language TLA+ (restricted)

The Specification Language TLA+ (restricted)

Completion requirements

Click on The Specification Language TLA+ (restricted) to open the resource.

You are currently using guest access (Log in)

Data retention summary

Get the mobile app

Powered by Moodle