The unix programming environment 2001

unix编程环境的2001年的英文修订版，对UNIX操作系统的编程环境做了详细而深入的讨论，内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等。

Unix编程环境part2

本书对UNIX操作系统的编程环境做了详细而深入的讨论，内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等，并对UNIX中的程序开发方法做了有针对性的指导

Unix编程环境part1

本书对UNIX操作系统的编程环境做了详细而深入的讨论，内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等，并对UNIX中的程序开发方法做了有针对性的指导

Spin Model Checker, The Primer and Reference Manual

一本介绍模型检测工具Spin的教材，讲述了spin的使用方法、spin中使用的Promela语言、自动机理论等知识。