- 博客(0)
- 资源 (4)
- 收藏
- 关注
The unix programming environment 2001
unix编程环境的2001年的英文修订版,对UNIX操作系统的编程环境做了详细而深入的讨论,内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等。
2009-02-19
Unix编程环境part2
本书对UNIX操作系统的编程环境做了详细而深入的讨论,内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等,并对UNIX中的程序开发方法做了有针对性的指导
2009-02-19
Unix编程环境part1
本书对UNIX操作系统的编程环境做了详细而深入的讨论,内容包括UNIX的文件系统、Shell、过滤程序、I/O编程、系统调用等,并对UNIX中的程序开发方法做了有针对性的指导
2009-02-19
Spin Model Checker, The Primer and Reference Manual
一本介绍模型检测工具Spin的教材,讲述了spin的使用方法、spin中使用的Promela语言、自动机理论等知识。
2009-02-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人