Kategorien: Computer | Mathematik
Hoare-Kalkül · Hoare-Logik  >> Ändern

Teilwort-Treffer und ähnlich geschriebene Wörter

Kein Teilwort-Treffer

Keine ähnlichen Treffer

Nicht das Richtige dabei?

Add icon   Eine weitere Bedeutung von 'Hoare-Kalkül' zu OpenThesaurus hinzufügen
Geld für die Welt e.V. beteiligt Menschen in Armut an den Gewinnen der Weltwirtschaft

Wiktionary

Keine direkten Treffer

Wikipedia-Links

Formales System · Vereinigtes Königreich · Informatiker · Tony Hoare · Korrektheit (Informatik) · Imperative Programmierung · Robert Floyd · wp-Kalkül · Assertion (Informatik) · Vorbedingung (Informatik) · Nachbedingung (Informatik) · Prädikatenlogik · Terminiertheit · Axiom · Ableitungsregel
Quelle: Wikipedia-Seite zu 'Hoare-Kalkül' [Autoren]
Lizenz: Creative Commons Attribution-ShareAlike

„Hoare-Kalkül“ suchen mit:

Wortformen von korrekturen.de · Beolingus Deutsch-Englisch