编写可读代码的艺术相关电子书下载

史聚庭等编译1998 年出版0 页ISBN：

中国石化集团公司炼油化工生产部技术监督处编2000 年出版151 页ISBN：7800439992

（美）BrianChess，JacobWest著2008 年出版362 页ISBN：9787111233213

本书介绍了计算机软件安全的相关内容。

王焕德主编；美国米切尔维修信息公司编；中国机动车辆安全鉴定检测中心编译2003 年出版530 页ISBN：7114045492

（美）伯杰龙（Bergeron，J.）著；张春等译2006 年出版345 页ISBN：7121030764

验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨...

顾迎建，张冬青主编；全国组织机构代码管理中心编2002 年出版185 页ISBN：7502616861

（法）普里马韦拉·德·菲利皮，（美）亚伦·赖特著2019 年出版378 页ISBN：7508696171

陈钧编著2004 年出版754 页ISBN：7533729285

2222 年出版0 页ISBN：

远行者文丛，张清华主编；赵建军著1999 年出版302 页ISBN：7505934643

远行者·山东青年批评家文丛张光芒(1966～),生于山东沂南,文学博士,编有《中国现代文学史》、《文心花雨》等。