start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2018/08/21 01:15] – jonathan | start [2018/08/29 00:07] (current) – jonathan | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| [[https:// | [[https:// | ||
| - | See the **Resources** Tab for information on the required Textbook, the TLA+ and PVS tools, private Github | + | See the [[resources: |
| ===== Lecture Times ===== | ===== Lecture Times ===== | ||
| - | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the class, in LAS 1002/ | + | Lectures are on Tuesdays and Thursdays at 4pm in Bergeron Room 313. The first scheduled Lab will also be on Thursday, directly after the first class, in LAS 1002/ |
| * **Lectures**: | * **Lectures**: | ||
start.1534814109.txt.gz · Last modified: by jonathan
