西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.

出版发行项:

Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributed in the U.S. and Canada, Elsevier Science Pub. Co., 1990.

ISBN:

0444886885 (U.S.)

ISBN:

044488372X

ISBN:

0444886893

载体形态项:

xv, 427 p. : ill. ; 23 cm.

丛编题名:

VLSI design methods ; 2

会议名称:

IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Houthalen, Belgium)

附加个人名称:

Claesen, Luc J. M.

附加团体名称:

Interuniversity Micro-Electronics Center.

论题主题:

Integrated circuits-Verification-Congresses.

论题主题:

Integrated circuits-Very large scale integration-Computer-aided design-Congresses.

中图法分类号:

TN47-53

书目附注:

Includes bibliographical references.

豆瓣简介：