“分类:Software Foundations”的版本历史

跳转到: 导航, 搜索

差异选择:选出需要对比的版本,按“回车键”或下方的按钮进行对比。
说明:(当前)=与最后版本之间的差异,(先前)=与上一版本之间的差异,=小编辑。

  • (当前 | 先前) 2024年12月30日 (一) 07:51Allen (讨论 | 贡献)‎ . . (+116)‎ . . (以“软件基础系列对可靠软件的数学基础进行了广泛的介绍 https://softwarefoundations.cis.upenn.edu/”为内容创建页面)
个人工具
名字空间

变换
操作
导航
工具箱