
Wenn du Tony Hoare magst, lies diese Autoren
1934–2026 · britischer Informatiker, Entwickler des Quicksort-Algorithmus sowie des Hoarekalküls
Auch bekannt als: Antony Hoare, C. A. R. Hoare, C.A.R. Hoare, Charles Antony Richard Hoare, Charles Hoare, Sir Charles Antony Richard Hoare
Ähnliche Autorinnen und Autoren
Diese Liste stammt aus einer KI und noch nicht aus Leserdaten. Sobald genug Leser Tony Hoare mögen, ersetzen ihre Daten die KI-Vorschläge.
- Edsger Wybe Dijkstra1930–2002MeldenKI-Vorschlag, noch ohne Leserdaten
Writes on structured programming, program correctness and formal derivation of algorithms in a rigorous, essayistic style. (KI-Begründung, englisch)
- Niklaus Wirth1934–MeldenKI-Vorschlag, noch ohne Leserdaten
Focuses on programming language design, simplicity and disciplined construction of algorithms and data structures. (KI-Begründung, englisch)
Donald E. Knuth1938–MeldenKI-Vorschlag, noch ohne LeserdatenOffers deep, mathematically grounded analysis of algorithms, including sorting and searching. (KI-Begründung, englisch)
- David Gries1939–MeldenKI-Vorschlag, noch ohne Leserdaten
Presents program derivation and correctness proofs building directly on axiomatic reasoning about programs. (KI-Begründung, englisch)
- Robin MilnerMeldenKI-Vorschlag, noch ohne Leserdaten
Develops process calculi for concurrency closely paralleling communicating sequential processes. (KI-Begründung, englisch)
Alle 10 zeigen
- Carroll Morgan1952–MeldenKI-Vorschlag, noch ohne Leserdaten
Writes on refinement calculus and deriving programs from specifications. (KI-Begründung, englisch)
Leslie Lamport1941–MeldenKI-Vorschlag, noch ohne LeserdatenAddresses concurrency, distributed systems and formal specification with logical rigor. (KI-Begründung, englisch)
- Per Brinch Hansen1938–MeldenKI-Vorschlag, noch ohne Leserdaten
Explores concurrent programming concepts such as monitors and operating system design principles. (KI-Begründung, englisch)
Wähle Tony Hoare und ein paar weitere Lieblingsautoren aus und bekomme Vorschläge, die zu dir passen.
Eigene Vorschläge bekommenBekannte Werke
- VDM '90
- Software and systems safety
- Mathematical logic and programming languages
- Mechanized reasoning and hardware design
- Scientific applications of multiprocessors