Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
93
91. Wie lassen sich Vor- und Nachbedingungen einer Methode aus einem Z-Schema einer Operation ablesen?
Vor- und Nachbedingung lassen sich aus dem Bedingungsteil des Schemas ablesen.
|—sqrt ————————
| x? : R
| z! : R
|——————————————
| x? >= 0 < Vorbedingung
| z! * z! = x? < Nachbedingung
|——————————————
|—sqrt ————————
| x? : R
| z! : R
|——————————————
| x? >= 0 < Vorbedingung
| z! * z! = x? < Nachbedingung
|——————————————