Zum Hauptinhalt

Startseite
Mehr

Deutsch ‎(de)‎

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

Sie sind als Gast angemeldet

Login

Alles aufklappen Alles einklappen

FormalPar23
The Temporal Logic of Actions (TLA)
Leslie Lamport: The Temporal Logic of Actions

Leslie Lamport: The Temporal Logic of Actions

Abschlussbedingungen

Klicken Sie auf den Link 'lamport-actions.pdf', um die Datei anzuzeigen.

Sie sind als Gast angemeldet (Login)

Unsere Datenlöschfristen

Laden Sie die mobile App

Powered by Moodle