عنوان
پدید آورنده
موضوع
رده
QA 76.758 .S62 2015 E-Book ,
QA
76
.
758
.
S62
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319229683
شماره کتابشناسی ملی
شماره
12669
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Software Engineering and Formal Methods
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 13th International Conference, SEFM 2015 York, UK, September 7–11, 2015 Proceedings
نام نخستين پديدآور
\ Radu Calinescu , Bernhard Rumpe (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
xi,[369] p.
ساير جزييات
:ill
فروست
عنوان فروست
Lecture notes in computer science
مشخصه جلد
; 9276
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Software engineering
موضوع مستند نشده
Mathematical Logic and Formal Languages.
موضوع مستند نشده
Software engineering -- Congresses.
موضوع مستند نشده
مهندسی ن‍رم اف‍زار
موضوع مستند نشده
نرم‌افزار -- مهندسی-- کنگره‌ها
رده بندی کنگره
شماره رده
QA
76
.
758
نشانه اثر
.
S62
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Calinescu, Radu C., 1968-
مستند نام اشخاص تاييد نشده
Rumpe, Bernhard
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International Conference on Software Engineering and Formal Methods (13th : 2015 : York, England)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20191019
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319229683.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
