急寻去年的comp5404W课本(打印的) ，作业及考试题目和答案

[kathy13210]

我是今年来的，第一次上这个课，不知道有没有哪位去年上过这门课，能否提供去年的作业，考试题目和答案？这个课的名字：computer-Aided Program Verification,老师是ouglas J. Howe

请发悄悄话给我。