《formal verification an essential toolkit for modern vlsi design》求取 ⇩
作者 | 编者 |
---|---|
出版 | 未查询到或未知 |
参考页数 | ✅ 真实服务 非骗流量 ❤️ |
出版时间 | 没有确切时间的资料 |
ISBN号 | 无 — 违规投诉 / 求助条款 |
PDF编号 | 820599858(学习资料 勿作它用) |
求助格式 | 扫描PDF(若分多册发行,每次仅能受理1册) |
《formal verification an essential toolkit for modern vlsi design》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件。对合法合规的求助,我会当即受理并将下载地址发送给你。
高度相关资料
- FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
- 1979 NORTH-HOLLAND PUBLISHING COMPANY
- Computer aided tools for VLSI system design
- 1987 Peter Peregrinus Ltd
- Algorithmics for VLSI
- 1986 ACADEMIC PRESS INC
- CIRCUIT DESIGN for CMOS VLSI
- 1992 Kluwer Academic Publishers
- Parallel VLSI Neural System Design
- 1999 Springer-Verlag
- MODERN ARCHITECTURE AND DESIGN AN ALTERNATIVE HISTORY
- 1982 THE HERBERT PRESS
- FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION
- 1982 PRENTICE-HALL
- Algorithms for VLSI design automation
- 1999 Wiley
- Computational aspects of VLSI design with an emphasis on semiconductor device simulation
- 1990 American Mathematical Society
- AN INTRODUCTION TO FORMAL PROGRAM VERIFICATION
- 1985 VAN NOSTRAND REINHOLD COMPANY
- A TOOLKIT FOR INTEGRATED WETLAND ASSESSMENT
- THE WORLD CONSERVATION UNION
- FORMAL SPECIFICATION AND DESIGN
- 1992 CAMBRIDGE UNIVERSITY PRESS
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD