Last Night

寫完作業也洗完澡，再來是複習。先把順序定下來：

1. (V) Logic
2. (V) Program Derivation
3. (V) Functional Programming
4. (V) Deductive Program Verification
5. (V) Model Checking, Temporal Logic, and Automata Theory
6. (V) Type Systems

--
憑感覺排的 XD。