[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ Video Course

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Tue, 3 Apr 2018 14:30:41 -0700 (PDT)
References: <b19fb379-6a8c-4241-ada3-673038ea76db@googlegroups.com>

Lecture 10, the final lecture of the TLA+ Video Course, consisting of two videos, has now been posted. As always, the home page of the course is:

https://lamport.azurewebsites.net/video/videos.html

Leslie

Follow-Ups:
- Re: TLA+ Video Course
  - From: Morgan Weetman
- Re: TLA+ Video Course
  - From: Andrew Helwer

References:
- TLA+ Video Course
  - From: Leslie Lamport

Prev by Date: Re: The level of the expression or operator substituted for 'Def' must be at most 0
Next by Date: Re: TLA+ Video Course
Previous by thread: Re: TLA+ Video Course
Next by thread: Re: TLA+ Video Course
Index(es):
- Date
- Thread