شماره کتابشناسی ملی
کد کشور
IR
شماره
EN-33131
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
4, 2010. Proceedings-Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1
نام عام مواد
[Book]
نام نخستين پديدآور
/ Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rou, Oleg Sokolsky, Nikolai Tillmann (eds.)
وضعیت نشر و پخش و غیره
نام ناشر، پخش کننده و غيره
Verlag Berlin Heidelberg-Springer
تاریخ نشرو بخش و غیره
, 2010.
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Electronic
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده بندی کنگره
شماره رده
E-BOOK
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Chris Ackermann
مبدا اصلی
کشور
ایران
دسترسی و محل الکترونیکی
نام ميزبان
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
شماره دسترسي
عادی
اطلاعات مختصر
محرمانه
تاريخ و ساعت مذاکره و دسترسي
1594138.pdf
نوع فرمت الکترونيکي
متن
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
