... software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing ... Read More.
確定! 回上一頁