硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

下载此书RAR压缩包在线购买PDF电子书

（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

Programming Real-Time Computer Systems

下载此书RAR压缩包在线购买PDF电子书

1965 年出版386 页ISBN：

Introduction To Programming and Computer Science

下载此书RAR压缩包在线购买PDF电子书

1971 年出版513 页ISBN：

Equalities And Approximations With Fortran Programming

下载此书RAR压缩包在线购买PDF电子书

1963 年出版158 页ISBN：

effective awk programming=高效awk编程（影印版）

下载此书RAR压缩包在线购买PDF电子书

2222 年出版0 页ISBN：

OBJECT-ORIENTED PROGRAMMING IN C++

下载此书RAR压缩包在线购买PDF电子书

2222 年出版666 页ISBN：

BASIC/Apple Ile A Programming Guide

下载此书RAR压缩包在线购买PDF电子书

1983 年出版249 页ISBN：0030637473

Microprocessor Software:Programming Concepts and Techniques

下载此书RAR压缩包在线购买PDF电子书

1981 年出版357 页ISBN：0835943755

Programming in IBM PC DOS Pascal

下载此书RAR压缩包在线购买PDF电子书

1985 年出版233 页ISBN：0137302924

Pascal Programming Structures for Motorola Microprocessors

下载此书RAR压缩包在线购买PDF电子书

1982 年出版289 页ISBN：0835954714