IT
这是 Dijkstra 1978 年的经典短文，论证为何用自然语言编程不可行，强调形式化符号的精确性对程序正确性的必要。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。