C. A. R. Hoare
Contenu soumis à la licence CC-BY-SA. Source : Article C. A. R. Hoare de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Hoare logic — (also known as Floyd ndash;Hoare logic) is a formal system developed by the British computer scientist C. A. R. Hoare, and subsequently refined by Hoare and other researchers. The purpose of the system is to provide a set of logical rules in… … 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
Hoare — is the name of: * C. A. R. Hoare (b. 1934), British computer scientist, creator of Hoare logic and the Quicksort sorting algorithm * Kelly Hoare (b. 1963), Australian politician * Mike Hoare (b. 1920), Irish mercenary leader * Prince Hoare… … Wikipedia
Hoare (Santurce) — Hoare … Wikipedia Español
Hoare, Sir Samuel (John Gurney), 2o baronet — también llamado (desde 1944) vizconde Templewood (de Chelsea) (24 feb. 1880, Londres, Inglaterra–7 may. 1959, Londres). Estadista británico. Como secretario de Estado para India (1931–35), asumió la enorme tarea de elaborar y defender en el… … Enciclopedia Universal
Hoare — [ hɔ:ə], Samuel, britischer Politiker, Templewood of Chelsea, Samuel John Gurney Hoare … Universal-Lexikon
Hoare Baronets — There have been four Baronetcies created for people with the surname Hoare, one in the Baronetage of Ireland, one in the Baronetage of Great Britain and two in the Baronetage of the United Kingdom. The second holder of the third creation was… … 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 Lea — Infobox Company company name = Hoare Lea Consulting Engineers company company type = Partnership foundation = 1862 by Edwin Hoare and Henry Lea location = Bristol UK 10 offices throughout the UK industry = engineering consulting products =… … Wikipedia
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
C.A.R. Hoare en 2005.
