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(