Weakest Precondition

aus Wikipedia, der freien Enzyklopädie

Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 3. September 2009 um 18:56 Uhr durch imported>Schwammerl-Bob(113711) (AZ: Weiterleitung nach Wp-Kalkül erstellt).

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)