（美）里夫斯著2012 年出版221 页ISBN：9787115265791
本书第一部分介绍设备处理程序软硬件开发所涉及的体系结构、UMDF和KMDF。第二部分介绍用户模式驱动程序的方法、设计、开发和调试。第三部分介绍内核模式驱动程序的方法、设计、开发和调试。...
（美）Nicholas A. Solter，（美）Scott J. Kleper著；刘鑫，杨健康等译2006 年出版687 页ISBN：7111177789
（美）Paul Chiusano，（美）Runar Bjarnason著22 年出版245 页ISBN：9787121283307
函数式编程（FP）是一种软件开发风格，它注重不依赖于编程状态的函数。函数式代码易于测试和复用，容易实现并发，且不容易受到bug的攻击。Scala是一种能很好支持函数式编程的新兴JVM语言。本书是针对希望学习FP并将...
Chris Knowles，Stephen Mohr等著；刘爽译2002 年出版353 页ISBN：7302061203
宋明秋编著2016 年出版290 页ISBN：9787121287503
全书以软件安全属性为核心，将安全属性贯穿于软件开发生命周期的每一个阶段，通过对软件开发生命周期全过程的安全质量管理和控制，以期减少开发过程中可能产生的各种漏洞，提高软件产品的本质安全性。全书共分为6...
