|
|
Obligations and Benefits in Sqrt |
| An axiomatic specification of the squareroot function. |
| A tabular presentation of the obligations and benefits of the squareroot function (in a server role) and
its callers (in a client role). |
Notice in particular the obligation of the client and the benefit of the server |