[infostudents] Hoare-Kalkül - Verstärken vs. Abschwächen
- From: "Sebastian Wagner" <sebastian.wagner@xxxxxxxxxxxxxxxxxxxx>
- To: infostudents@xxxxxxxxxxxxx
- Date: Sat, 13 Sep 2008 01:42:04 +0200
Hi Leute,
noch en kurzer Tipp für die, die sich immernoch uneinig
über Vor-/Nachbedingung bzw. verstärken/abschwächen sind.
Ich hab mir gerade nochmal den kurzen Abschnitt zu
"Verifizierung am Beispiel" (Kapitel 6.3 im electures)
angeschaut und da erklärt der Podelski des nochmal ganz
gut!
...hätte ich des nur vorher angeschaut...
---
Sent through the Infostudents Mailinglist
List Archive:
//www.freelists.org/archives/infostudents/
Subscribe / Unsubscribe:
//www.freelists.org/list/infostudents
Other related posts:
- » [infostudents] Hoare-Kalkül - Verstärken vs. Abschwächen
