《FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I》

作者	编者
出版	IFIP
参考页数	413
出版时间	1990（求助前请核对）
ISBN号	044488372x — 求助条款
PDF编号	812556588（仅供预览，未存储实际文件）
求助格式	扫描PDF（若分多册发行，每次仅能受理1册）

FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I 1990 PDF电子版封面 044488372x

1990《FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由 1990 IFIP 出版的版本）。对合法合规的求助，我会当即受理并将下载地址发送给你。

系统维护中...

高度相关资料

: VLSI AND COMPUTER PERIPHERALS

: formal verification an essential toolkit for modern vlsi design

: vlsi design second edition

: low power CMOS VLSI circuit design

: CIRCUIT DESIGN for CMOS VLSI; 1992 Kluwer Academic Publishers

: Parallel VLSI Neural System Design; 1999 Springer-Verlag

: FORMAL METHODS OF PROGRAM VERIFICATION AND SPECIFICATION; 1982 PRENTICE-HALL

: Algorithms for VLSI design automation; 1999 Wiley

: Formal specification techniques and applications; 1999 Springer

: FORMAL SPECIFICATION AND DESIGN; 1992 CAMBRIDGE UNIVERSITY PRESS

: PRINCIPLES OF CMOS VLSI DESIGN

: THEORETICAL FOUNDATIONS OF VLSI DESIGN

: VLSI 87 VLSI DESIGN OF DIGITAL SYSTEMS; NORTH-HOLLAND

: FORMAL VLSI CORRECTNESS VERIFICATION VLSI DESIGN METHODS-1

: FORMAL VLSI CORRECTNESS VERIFICATION VLSI DESIGN METHODS-2

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD

VLSI Technology Fundamentals a

1988 PROCEEDINGS 38th ELECTRON