Greg Morrisett الإنجليزية (Q5606035)
اذهب إلى التنقل
اذهب إلى البحث
عالِم حاسوب من الولايات المتحدة الأمريكية
اللغة | التسمية | الوصف | أسماء أخرى |
---|---|---|---|
العربية | لم تُضف التسمية |
عالِم حاسوب من الولايات المتحدة الأمريكية |
|
الإنجليزية | Greg Morrisett |
American computer scientist |
|
بيانات
2013
١٠ ديسمبر 2013
For contributions to mathematically-based methods for ensuring the efficient implementation and verification of practical programming languages (الإنجليزية)
مُعرِّفات
وصلات الموقع
ويكيبيديا(١ وصلة واحدة)
- enwiki Greg Morrisett