Bedeutung Hoare-Kalkül
Was bedeutet Hoare-Kalkül? Nachstehend finden Sie eine Bedeutung für das Wort Hoare-Kalkül Sie können auch eine Definition von Hoare-Kalkül selbst hinzufügen.
1 |
0
0
Hoare-KalkülHoare-Kalkül ist ein formales System, um die Korrektheit von Programmen nachzuweisen. Er wurde von dem britischen Informatiker C. A. R. Hoare entwickelt und später von ihm und anderen Wissenschaftler [..]
|
| << Gestreifter Schulterläufer | Lasker – Bauer, Amsterdam 1889 >> |