formal verification an essential toolkit for modern vlsi design

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

2222 年出版0 页ISBN：

The TTL Data Book for Design Engineers First Edition

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

1973 年出版640 页ISBN：

FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II

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

1990 年出版427 页ISBN：0444886885

SHAPE PRESERVING REPRESENTATIONS IN COMPUTER-AIDED GEOMETRIC DESIGN

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

1999 年出版233 页ISBN：1560726911

AN INTRODUCTION TO OBJECT-ORIENTED DESIGN IN C++

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

2222 年出版866 页ISBN：0201765640

HOTEL DESIGN INTERNATIONAL PORTFOLIO OF THE FINEST CONTEMPORARY DESIGNS

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

1994 年出版158 页ISBN：1564962210

The Design of the Management Information System REVISED EDITION

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

1976 年出版238 页ISBN：0884053202

A GUIDE TO THE CHEMICAL BASIS OF DRUG DESIGN

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

1983 年出版300 页ISBN：0471868280

Computers as Components Principles of Embedded Computing System Design

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

2005 年出版656 页ISBN：9780123694591

CAD ED Internationl Conference on Computer Aided Design Education

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

1978 年出版403 页ISBN：0902852817