عنوان
پدید آورنده
موضوع
رده
TK 7874 .75 .I45 1997
TK
7874
.
75
.
I45
1997
کتابخانه
محل استقرار
117210
بهار۸۷
English
)50(
Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
London
Chapman & Hall
1997
vi, 310 p.; 24 cm
"This book contains the papers that were presented at the ninth IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods )CHARME'97(, held in Montreal )Quebec( Canada on 17-18 October 1997"-- Preface
Includes bibliographical references and index
1st ed
، Computer engineering-- Congresses
، Computer software-- Verification-- Congresses
TK
7874
.
75
.
I45
1997
AU
edited by Hon F. Li and David K. Probst
AU .F noH ,iL
AU (lraK divaD) .K .D ,tsborP
CO IFIP WG 01.5
IFIP TC1O WG10.5 International Conference on Correct Hardware and Verification Methods )9th: 1997: Montreal, Canada(
05
