CoboCards App FAQ & Wünsche Feedback
Sprache: Deutsch Sprache
Kostenlos registrieren  Login

Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Alle Oberthemen / Informatik / Softwaretechnik / Softwaretechnik 1
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
|——————————————
Neuer Kommentar
Karteninfo:
Autor: noobMan
Oberthema: Informatik
Thema: Softwaretechnik
Veröffentlicht: 02.02.2010

Abbrechen
E-Mail

Passwort

Login    

Passwort vergessen?
Deutsch  English