Video/Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)
(Redirected from Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD))
Jump to navigation
Jump to search
Lamport, Leslie (18 July 2021). Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD). local page: TLA+ Video Course.
There are total of 13 episodes of this playlist.
References
Related Pages
Organized by:TLA+ Video Course Presented by:Leslie Lamport