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: 2018/08/21 01:15 by jonathan