عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540425411
شابک
9783540425410
شماره کتابشناسی ملی
شماره
b549825
عنوان و نام پديدآور
عنوان اصلي
Correct hardware design and verification methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 2001 proceedings
نام نخستين پديدآور
Tiziana Margaria, Tom Melham (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2001
مشخصات ظاهری
نام خاص و کميت اثر
xii, 482 p. ; 24 cm.
فروست
عنوان فروست
Lecture notes in computer science, 2144
يادداشت کلی
متن يادداشت
Disponibile anche in formato elettronico con accesso dai calcolatori della rete di Ateneo.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Tiziana Margaria, Tom Melham (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Thomas F Melham
مستند نام اشخاص تاييد نشده
Tiziana Margaria
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
