#axiomatic

回顾性：计算机编程的公理基础
Retrospective: An Axiomatic Basis for Computer Programming(dl.acm.org)
2021-4-1 20:10
我们使用cookie确保我们为您提供最佳体验。 似乎您的浏览器并不支持它们，这会影响网站功能。