Alan Kay 并没有发明对象（2019）

Hillel Wayne，Hillel Wayne 的技术博客，关于形式化方法、TLA+ 与软件正确性。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论