Stop show with sound  Next slide in show -- Keyboard shortcut: 'n'  2 minutes, 43 secondsLecture 9 - slide 4 : 31
Program 2
sqrt(x: Real) -> Real

  precondition: x >= 0;

  postcondition: abs(result * result - x) <= 0.000001