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

Re: TLA+ Video Course

From: Andrew Helwer <andrew...@xxxxxxxxx>
Date: Tue, 3 Apr 2018 16:47:15 -0700 (PDT)
References: <b19fb379-6a8c-4241-ada3-673038ea76db@googlegroups.com> <eaad68fa-5371-47a7-bde1-cdaf0049f62c@googlegroups.com>

Congrats on finishing the course!!!

On Tuesday, April 3, 2018 at 2:30:41 PM UTC-7, Leslie Lamport wrote:

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

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

Prev by Date: Re: TLA+ Video Course
Next by Date: Re: [tlaplus] Fairness condition for messages
Previous by thread: Re: TLA+ Video Course
Next by thread: Re: TLA+ Video Course
Index(es):
- Date
- Thread