Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
North-Holland
تاریخ نشرو بخش و غیره
1992
مشخصات ظاهری
نام خاص و کميت اثر
ix, 470 p.: ill.; 25 cm
یادداشتهای مربوط به بسته بندی و دسترس بودن اثر
متن يادداشت
مرجع به حساب نمي آيد
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses
عنصر شناسه ای
Computer - Aided design--congresses
عنصر شناسه ای
Computer software--Verification--Congresses
رده بندی کنگره
شماره رده
TK
7874
.
A3353
1991
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
مولف
کد نقش
Advanced Research Workshop on Correct Hardware Design Methodologies (1991: Turin, Italy)