Video/Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD)

From PKC

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

Retrieved from "https://pkc.pub/index.php?title=Video/Lamport_TLA%2B_Course_Lecture_1:_Introduction_to_TLA%2B_(HD)&oldid=33927"