Give a precondition and a postcondition for the predefined function
sqrt, which returns the square root of its argument.
Sorry the answer is not available at the moment…
If you are able to find the answer, please make sure to post it here. So that your Juniors have smile on their lips and feel happy.
Spread the 'tradition of sharing'.