عنوان
پدید آورنده
موضوع
رده
QA 76.9 .F6 2015 E-Book ,
QA
76
.
9
.
F6
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
9783319175805
شماره کتابشناسی ملی
شماره
12173
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal Techniques for Safety-Critical Systems
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
نام نخستين پديدآور
[edited by] Cyrille Artho, Peter Csaba Olveczky.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2015.
تاریخ پیش بینی شده انتشار
تاريخ
1505
مشخصات ظاهری
نام خاص و کميت اثر
x, 255 p.
ساير جزييات
ill.
فروست
عنوان فروست
Communications in computer and information science
مشخصه جلد
;476
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science) -- Congresses.
موضوع مستند نشده
System safety -- Congresses.
موضوع مستند نشده
Systems engineering -- Congresses.
موضوع مستند نشده
روش‌های صوری (کامپیوتر) -- کنگره ها
موضوع مستند نشده
ایمنی سیستم‌ها -- کنگره ها
موضوع مستند نشده
م‍ه‍ن‍دس‍ی س‍ی‍س‍ت‍م ها -- گنگره ها
رده بندی کنگره
شماره رده
QA
76
.
9
نشانه اثر
.
F6
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170103064222.0
قواعد فهرست نويسي ( بخش توصيفي )
rda
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319175805.pdf
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-t.html
مشخصه منبع قراردادي
http://www.loc.gov/catdir/enhancements/fy1509/2015937953-d.html
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
اطلاعات دسترسی رکورد
تكميل شده
Y
