[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: TLA+ Video Course
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Fri, 15 Dec 2017 17:33:49 -0800 (PST)
References
: <
b19fb379-6a8c-4241-ada3-673038ea76db@googlegroups.com
>
Lecture 9 of the TLA+ Video Course, consisting of two videos, is now available on the course site:
https://lamport.azurewebsites.net/video/videos.html
References
:
TLA+ Video Course
From:
Leslie Lamport
Prev by Date:
Re: [tlaplus] Need help to update the state with EXCEPT.
Next by Date:
Re: [tlaplus] How to run TLA+ ToolBox model checking from command line?
Previous by thread:
Re: TLA+ Video Course
Next by thread:
Re: TLA+ Video Course
Index(es):
Date
Thread