《软件基础》中译版:将《软件基础》译成中文
项目简介
《软件基础》中译版(Software Foundations Chinese Translation)是对《软件基础》(Software Foundations)系列教材的中文翻译项目。该系列教材由Benjamin C. Pierce教授等多位作者合著,丛书包含《逻辑基础》《程序语言基础》《函数算法验证》《QuickChick:软件特性测试》等卷,它深入浅出地介绍可靠软件的数理逻辑基础。此项目的译文为Alpha版,首卷《逻辑基础》初译完毕待审校,次卷《程序语言基础》正在翻译中。这里只接受Issue,PR对象仅限说明文档、测试脚本等。同时欢迎有志之士参与翻译及繁体中文版制作,也欢迎读者来参与翻译相关讨论。
项目总结
《软件基础》中译版项目对于将相关知识推广到中文读者有着重要意义,虽然目前处于翻译的过程中且译文为Alpha版存在不足,但为广大读者提供了学习参考的机会。期待各位读者在阅读过程中发现问题以Issue形式反馈,也欢迎大家留言参与对该项目的讨论。
项目地址
数据统计
数据评估
关于软件基础中译版:软件基础的中文翻译项目特别声明
本站链氪巴士提供的软件基础中译版:软件基础的中文翻译项目都来源于网络,不保证外部链接的准确性和完整性,同时,对于该外部链接的指向,不由链氪巴士实际控制,在2024年12月6日 上午12:00收录时,该网页上的内容,都属于合规合法,后期网页的内容如出现违规,可以直接联系网站管理员进行删除,链氪巴士不承担任何责任。
相关导航
暂无评论...