Slide 1 A little bit of history Jordi Cortadella Department of Computer Science 1 Mechanization Introduction to Programming © Dept. CS, UPC 2 2 Mechanization Introduction…