[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:
http://www.freelists.org/archives/infostudents/

Subscribe / Unsubscribe:
http://www.freelists.org/list/infostudents

Other related posts:

  • » [infostudents] Hoare-Kalkül - Verstärken vs. Abschwächen