عنوان
پدید آورنده
موضوع
رده
TJ223 .D4 2010
TJ223
.
D4
2010
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
IR
شماره
793
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Design and verification of microprocessor systems for high-assurance application
نام عام مواد
[Book]
نام نخستين پديدآور
/ David S. Hardin, editor
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York ;London
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 436 p. , ill.
يادداشت کلی
متن يادداشت
Language: انگلیسی
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Programmable controllers, Design and construction
موضوع مستند نشده
Programmable controllers, Testing
رده بندی کنگره
شماره رده
TJ223
نشانه اثر
.
D4
2010
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Hardin, David S
مستند نام اشخاص تاييد نشده
SpringerLink (Online service)
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
