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

Re: TLA+ Video Course

From: CRIMX <stra...@xxxxxxxxx>
Date: Sat, 30 Dec 2017 01:49:59 -0800 (PST)
References: <b19fb379-6a8c-4241-ada3-673038ea76db@googlegroups.com>

Love the videos Dr. Lamport. Very inspiring and funny. Stay tuned. ;D

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

Prev by Date: How to model database tables?
Next by Date: Re: [tlaplus] How to model database tables?
Previous by thread: Re: TLA+ Video Course
Next by thread: Re: TLA+ Video Course
Index(es):
- Date
- Thread