C代码分析工具 Frama-C
- 授权协议: LGPL
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://frama-c.com/
- 软件文档: http://frama-c.com/download/user-manual-Neon-20140301.pdf
软件介绍
Frama-C 是一个用来分析 C 代码的工具,它收集了很多静态统计技术,如代码切片和依赖分析等。
Nginx高性能Web服务器详解
苗泽 / 电子工业出版社 / 2013-10 / 59.00元
《Nginx高性能Web服务器详解》全面介绍了当前Internet上流行的一款开放源代码的Web服务器——Nginx。全书一共分为四大部分,分别从入门、功能、实现和应用等四个方面对Nginx服务器的知识进行完整阐述,从而满足广大读者在应用Nginx服务器时的普遍性需求。同时也深入剖析了Nginx服务器的工作原理和实现技术,对其中使用到的数据结构和方法进行了详细阐述,并且结合实际的应用情况给出了多个......一起来看看 《Nginx高性能Web服务器详解》 这本书的介绍吧!
