David Gries (Q4149745)
Jump to navigation
Jump to search
American computer scientist
Language | Label | Description | Also known as |
---|---|---|---|
English | David Gries |
American computer scientist |
Statements
26 April 1939
2 references
1 September 1969
2 references
12 January 2019
20 February 2018
1 reference
26 March 2019
1 reference
1994
For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages. (English)
1 reference
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(6 entries)
- arzwiki ديفيد جريس (عالم حاسوب من امريكا)
- dewiki David Gries
- enwiki David Gries
- fawiki دیوید گریس
- mgwiki David Gries
- ruwiki Грис, Дэвид