Diskussion:Vorbedingung (Informatik)

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 30. Januar 2008 um 20:47 Uhr durch imported>Anonym~dewiki(31560) (AZ: Die Seite wurde neu angelegt.).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Fernandos sagt: Hier fehlt eindeutig ein Hinweis darauf das Vorbedingung als auch der Artikel mit der Nachbedingung vom Hoare-Kalkül stammen!