Diskussion:Vorbedingung (Informatik)

aus Wikipedia, der freien Enzyklopädie

Zur Navigation springen Zur Suche springen

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

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Diskussion:Vorbedingung_(Informatik)&oldid=41859915“