نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Formal System Verification
پدید آورنده
موضوع
Microprocessors,Electronics,Microelectronics,ریزپردازندهها,الکترونیک,میکرو الکترونیک
رده
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
شابک
شابک
:9783319576831
شماره کتابشناسی ملی
شماره
31100
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal System Verification
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: State-of-the-Art and Future Trends
نام ساير پديدآوران
Rolf Drechsler, Editor
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2018
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 182p.
ساير جزييات
:ill
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Microprocessors
موضوع مستند نشده
Electronics
موضوع مستند نشده
Microelectronics
موضوع مستند نشده
ریزپردازندهها
موضوع مستند نشده
الکترونیک
موضوع مستند نشده
میکرو الکترونیک
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Drechsler, Rolf
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319576831.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد