2018年4月6日
NASA的10条代码编写原则
摘要： 本文将介绍由 NASA 喷气推进实验室首席科学家 Gerard J. Holzmann 所提出的，侧重于安全参数的10条代码编写原则 阅读全文
posted @ 2018-04-06 20:18 herelsp 阅读(816) 评论(0) 推荐(0) 编辑