Hoare-Kalkül |
| 08.12.2011, 14:32 | Auf diesen Beitrag antworten » |
| MeisterPropper | Hoare-Kalkül Meine Frage: Hallo, ich soll eine Aufgabe zum Hoare-Kalkül lösen. Ich habe die Aufgabe und meine versuchte Lösung angehängt. Allerdings bin ich mir sehr unsicher. Gruß Meine Ideen: Siehe Anhang |
|
|
|
| 12.12.2011, 20:50 | Auf diesen Beitrag antworten » |
| Karlito | Hoare Kalkül bin ich leider nicht so fit... Schau dir mal j-Algo, da gibt es auch ein Modul, mit welchem man das Hoare-Kalkül beleuchten kann. VG, Karlito |
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
