Hoare-Kalkül — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… … Deutsch Wikipedia
Hoare-Logik — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… … Deutsch Wikipedia
Hoare-Tripel — Der Hoare Kalkül (auch Hoare Logik) ist ein Formales System, entwickelt von dem britischen Informatiker C. A. R. Hoare und später verfeinert von Hoare und anderen Wissenschaftlern. Er wurde 1969 in einem Artikel mit dem Titel An axiomatic basis… … Deutsch Wikipedia
Hoare — ist der Name folgender Personen: Mike Hoare (* 1920), britischer Offizier und Söldner Samuel Hoare, 1. Viscount Templewood (1880–1959), britischer Politiker Sean Hoare (1963/64−2011), britischer Journalist Tony Hoare (* 1934), britischer… … Deutsch Wikipedia
Des Cahill — is also a Fine Gael councillor in Cork City. This article is not about him. Des Cahill Born Desmond Cahill Nationality Irish Education Colaiste Mhuire, Dublin … Wikipedia
Hoare-Laval-Pakt — Karte mit der geplanten Teilung Abessiniens Der Hoare Laval Pakt war ein britisch französischer Plan zur Beendigung des Abessinienkriegs zwischen Italien und Äthiopien durch Aufteilung Äthiopiens. Er wurde 1935 von den Außenministern der beiden… … Deutsch Wikipedia
Hoare-Laval-Abkommen — Der Hoare Laval Pakt war ein britisch französischer Plan zur Beendigung des Abessinienkriegs zwischen Italien und Äthiopien durch Aufteilung Äthiopiens. Er wurde 1935 von den Außenministern der beiden Länder, Samuel Hoare und Pierre Laval,… … Deutsch Wikipedia
C.A.R. Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
C. A. R. Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
Charles Antony Richard Hoare — Tony Hoare, 2005 Sir Charles Antony Richard Hoare (* 11. Januar 1934 in Colombo, Sri Lanka), besser bekannt als Tony Hoare oder C.A.R. Hoare, ist ein britischer Informatiker. Hoare erlangte hohes Ansehen durch die Entwicklung des Quicksort… … Deutsch Wikipedia
