Github项目

软件基础中译版:软件基础的中文翻译项目

《软件基础》中译版是对《软件基础》系列教材的中文翻译项目。该系列教材由多位作者合著,包含多卷内容,介绍可靠软件的数理逻辑基础。目前译文为Alpha版,首卷初译完毕待审校,次...

标签:

《软件基础》中译版:将《软件基础》译成中文

项目简介

《软件基础》中译版(Software Foundations Chinese Translation)是对《软件基础》(Software Foundations)系列教材的中文翻译项目。该系列教材由Benjamin C. Pierce教授等多位作者合著,丛书包含《逻辑基础》《程序语言基础》《函数算法验证》《QuickChick:软件特性测试》等卷,它深入浅出地介绍可靠软件的数理逻辑基础。此项目的译文为Alpha版,首卷《逻辑基础》初译完毕待审校,次卷《程序语言基础》正在翻译中。这里只接受Issue,PR对象仅限说明文档、测试脚本等。同时欢迎有志之士参与翻译及繁体中文版制作,也欢迎读者来参与翻译相关讨论。

项目总结

《软件基础》中译版项目对于将相关知识推广到中文读者有着重要意义,虽然目前处于翻译的过程中且译文为Alpha版存在不足,但为广大读者提供了学习参考的机会。期待各位读者在阅读过程中发现问题以Issue形式反馈,也欢迎大家留言参与对该项目的讨论。

项目地址

GitHub链接直达

数据统计

数据评估

软件基础中译版:软件基础的中文翻译项目浏览人数已经达到3,如你需要查询该站的相关权重信息,可以点击"5118数据""爱站数据""Chinaz数据"进入;以目前的网站数据参考,建议大家请以爱站数据为准,更多网站价值评估因素如:软件基础中译版:软件基础的中文翻译项目的访问速度、搜索引擎收录以及索引量、用户体验等;当然要评估一个站的价值,最主要还是需要根据您自身的需求以及需要,一些确切的数据则需要找软件基础中译版:软件基础的中文翻译项目的站长进行洽谈提供。如该站的IP、PV、跳出率等!

关于软件基础中译版:软件基础的中文翻译项目特别声明

本站链氪巴士提供的软件基础中译版:软件基础的中文翻译项目都来源于网络,不保证外部链接的准确性和完整性,同时,对于该外部链接的指向,不由链氪巴士实际控制,在2024年12月6日 上午12:00收录时,该网页上的内容,都属于合规合法,后期网页的内容如出现违规,可以直接联系网站管理员进行删除,链氪巴士不承担任何责任。

相关导航

暂无评论

暂无评论...