Diskussion:Vorbedingung (Informatik)
aus Wikipedia, der freien Enzyklopädie
Fernandos sagt: Hier fehlt eindeutig ein Hinweis darauf das Vorbedingung als auch der Artikel mit der Nachbedingung vom Hoare-Kalkül stammen!
Navigation
Wikiwerkzeuge
Wikiwerkzeuge
Seitenwerkzeuge
Seitenwerkzeuge
Benutzerseitenwerkzeuge
Weitere Projekte
In anderen Sprachen
- Diese Seite wurde zuletzt am 30. Januar 2008 um 20:47 Uhr bearbeitet.
- Der Inhalt ist verfügbar unter der Lizenz Creative Commons Zero (Public Domain), sofern nicht anders angegeben.