E. Dijkstra 人物
相关论文查看全部 (4)
Structured programming
1972引用 890
Hierarchical ordering of sequential processes
1971Acta Informatica引用 773
Solution of a problem in concurrent programming control
1983Communications of the ACM引用 762
A constructive approach to the problem of program correctness
1968BIT Numerical Mathematics引用 238
相关公司查看全部 (1)
Eindhoven University of TechnologyUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据