For contributions to practical and

For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

ผลลัพธ์ (ไทย) 1:

สำหรับสมทบรากฐานทฤษฎี และภาคปฏิบัติของภาษาเขียนโปรแกรมและออกแบบระบบ โดยเฉพาะอย่างยิ่งที่เกี่ยวข้องกับข้อมูล abstraction ค่าเผื่อความบกพร่อง และการประมวลผลแบบกระจาย

ผลลัพธ์ (ไทย) 2:

สำหรับผลงานให้กับมูลนิธิการปฏิบัติและทฤษฎีของการเขียนโปรแกรมภาษาและการออกแบบระบบที่เกี่ยวข้องโดยเฉพาะอย่างยิ่งที่เป็นนามธรรมข้อมูลความอดทนความผิดและจำหน่ายคอมพิวเตอร์

ผลลัพธ์ (ไทย) 3:

สำหรับผลงานไปปฏิบัติ และทฤษฎีพื้นฐานของการเขียนโปรแกรมภาษาและออกแบบระบบโดยเฉพาะอย่างยิ่งที่เกี่ยวข้องกับนามธรรมข้อมูล ยอมรับความผิด และการคำนวณแบบกระจาย