ACM A. M. Turing Award

1972

从构造时就考虑正确性

语言与软件1972

插画肖像：艾兹赫尔·戴克斯特拉

从构造时就考虑正确性

可靠的软件始于推理：每一部分究竟必须保证什么？

艾兹赫尔·戴克斯特拉

浏览所有年份 ↗