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

Re: TLA+ Video Course

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Sun, 14 May 2017 03:46:09 -0700 (PDT)
References: <b19fb379-6a8c-4241-ada3-673038ea76db@googlegroups.com>

The fourth video in the TLA+ Video Course has been released. It's titled "Die Hard". The course is at:

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

Leslie

Follow-Ups:
- Re: TLA+ Video Course
  - From: fl

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

Prev by Date: Re: [tlaplus] Arity of NEW operator in `tlapm`
Next by Date: Protocol specification liveness
Previous by thread: Re: TLA+ Video Course
Next by thread: Re: TLA+ Video Course
Index(es):
- Date
- Thread