عنوان
پدید آورنده
موضوع
رده
QA75 .5 .F61 2015 E-Book ,
QA75
.
5
.
F61
2015
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783319254227
شماره کتابشناسی ملی
شماره
13567
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Formal Methods and Software Engineering
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
نام نخستين پديدآور
\ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
XXV, 436 p.
ساير جزييات
:ill.
فروست
عنوان فروست
Lecture notes in computer science
مشخصه جلد
; 9407
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
متن يادداشت
Index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer networks.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
علوم کامپیوتر
موضوع مستند نشده
شبکههای رایانه ای
موضوع مستند نشده
برنامهنویسی
رده بندی کنگره
شماره رده
QA75
.
5
نشانه اثر
.
F61
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
مبدا اصلی
کشور
ایران
تاريخ عمليات
20170216
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319254227.pdf
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
