Correct hardware design and verification methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001: proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
xii, 482 p.; 24 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
2144
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Congresses ، Integrated circuits-- Very large scale integration-- Computer-aided design
عنصر شناسه ای
Congresses ، Integrated circuits-- Verification
رده بندی کنگره
شماره رده
TK
7874
.
75
.
C453
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )