start
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
start [2010/01/06 17:59] – jonathan | start [2010/12/31 19:15] (current) – old revision restored jonathan | ||
---|---|---|---|
Line 4: | Line 4: | ||
===== Lecture Times ===== | ===== Lecture Times ===== | ||
- | Tuesdays/Wednesdays | + | * Tuesdays/Thursday |
- | From the second week of class and onwards, lectures/ | + | * Starting with the class on **Tuesday Jan 12** at 11.30am, **lectures/ |
+ | |||
+ | * For textbook and course slides see [[: | ||
+ | |||
+ | * See [[https:// | ||
+ | |||
+ | * Office hours: Tue/Thu 12.45-1.30pm in the SEL (CSE2056) | ||
===== Course Description ===== | ===== Course Description ===== | ||
Line 12: | Line 18: | ||
- | CSE 3341 3.0- Introduction to Program Verification: | + | CSE 3341 3.0- Introduction to Program Verification: |
start.1262800777.txt.gz · Last modified: 2010/01/06 17:59 by jonathan