本书不仅教学生如何做数字设计，更重要的是教如何做好设计。它不仅强调了使用清晰的接口进行模块化的重要性...
2018.10
安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到...
2018.11
本书综合作者自己遇到的实际问题，以及其他开发人员咨询的问题，总结出一套巧妙运用正则表达式的办法，并通...
2018.11
本书是为了帮助读者学会设计数字系统，并熟悉 Altera 公司产品、软件 QUARTUS II及其它相关软件的使用，前...
2018.8
作为一本形式语义学教科书，《形式语义学的要素》着重呈现该领域研究的两个“要素”：一是形式分析的对象——蕴...
2018.8
本书以语法与实例结合的方式来讲解可编程逻辑器件的设计方法，软件开发平台为Altera公司的Quartus Prime 1...
2018.8