• 0Filter aktivFilternPassen Sie die Suchergebnisse nach Ihren Bedürfnissen an.
    Links stehen Ihnen dafür diverse Filter zur Verfügung.
  • 10 Treffer
  • Sortieren nach
    Standard
  • Suchmaske einblenden

Griese David

Treffer im Web

David Gries

David Gries (* 26. April 1939 in Flushing) ist ein US-amerikanischer Informatiker. Leben und Wirken Gries studierte am Queens College in New York mit dem

Gries (Familienname)

David Gries (* 1939), US-amerikanischer Informatiker Ekkehard Gries (1936–2001), deutscher Jurist und Politiker (FDP) Georg Gries (* 1900), deutscher

Wp-Kalkül

David Gries: The Science of Programming, Springer, 1981. Mathematische Logik Logikkalkül

Susan L. Graham

University, wo sie 1966 ihren Master-Abschluss machte und 1971 bei David Gries promoviert wurde (Precedence Languages and Bounded Right Context Languages).

Peter W. O’Hearn

bei Nebenläufigkeit war (für die erste Ansätze von Susan Owicki und David Gries 1976 stammten durch Übertragung des Hoare-Kalküls auf Parallelprogramme).

Friedrich L. Bauer

Zu seinen Doktoranden gehören die Professoren David Gries, Manfred Broy, Peter Deussen, Christoph Zenger, Josef Stoer, Helmuth Partsch, Carlos Delgado Kloos,

schließen Hinweis