Play audio slide show -- Keyboard shortcut: 'x'  Back to slide -- Keyboard shortcut: 'u'  next        Play sound for this slide -- Keyboard shortcut: 'y'  kvadratrods-specification - Et eksempel på en axiomatisk specifikation af en kvadratrodsfunktion.Lecture 9 - slide 4 : 31
Program 2

sqrt(x: Real) -> Real

  precondition: x >= 0;

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