Verifikationsregeln im Hoare-Kalkül

Verifikationsregeln im Hoare-Kalkül

Frage:

Nenne die Verifikationsregeln im Hoare-Kalkül! 

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.