+1 for formal methods in Z. I've still got the book at my dad's house. My first year of uni also had a pretty evil pure maths course which was worth a high per

+1 for formal methods in Z. I've still got the book at my dad's house. My first year of uni also had a pretty evil pure maths course which was worth a high percentage of the year. Not much fun.