loisgarfield的资源-下载频道-CSDN.NET
下载频道 > loisgarfield的资源
  • The unix programming environment 2001

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

    unix programming

    31
    2009-02-19
    3
  • Unix编程环境part2

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

    Unix 编程

    34
    2009-02-19
    3
  • Unix编程环境part1

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

    编程 Unix

    38
    2009-02-19
    3
  • Spin Model Checker, The Primer and Reference Manual

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

    Spin ,模型检测

    58
    2009-02-19
    3
img
loisgarfield

关注

等级:2积分 109