عنوان
پدید آورنده
موضوع
رده
QA 76 .V4 2016 E-Book ,
QA
76
.
V4
2016
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319296128
شماره کتابشناسی ملی
شماره
14335
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Verified software
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 7th International Conference, VSTTE 2015 San Francisco, CA, USA, July 18–19, 2015 Revised Selected Papers
نام نخستين پديدآور
\ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2016.
تاریخ پیش بینی شده انتشار
تاريخ
1604
مشخصات ظاهری
نام خاص و کميت اثر
viii,[223] p.
فروست
عنوان فروست
Lecture Notes in Computer Science
مشخصه جلد
; 9593
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science
عنصر شناسه ای
کامپیوتر
داده رابط بین فیلدها
a03
داده رابط بین فیلدها
a03
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Software engineering.
موضوع مستند نشده
برنامه‌نویسی
موضوع مستند نشده
م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده بندی کنگره
شماره رده
QA
76
نشانه اثر
.
V4
2016
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gurfinkel, Arie
مستند نام اشخاص تاييد نشده
Seshia, Sanjit A
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170325145440.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319296128.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1608/2016930277-d.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1608/2016930277-t.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
N
