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.).
Fernandos sagt: Hier fehlt eindeutig ein Hinweis darauf das Vorbedingung als auch der Artikel mit der Nachbedingung vom Hoare-Kalkül stammen!