نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Deductive Software Verification – The KeY Book
پدید آورنده
موضوع
Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامهنویسی کامپیوتر,مهندسی نرم افزار
رده
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
شابک
شابک
:9783319498119
شماره کتابشناسی ملی
شماره
29626
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Deductive Software Verification – The KeY Book
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: From Theory to Practice
نام ساير پديدآوران
Wolfgang Ahrendt ... [et.al], (Eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer International Publishing
تاریخ نشرو بخش و غیره
, 2016
مشخصات ظاهری
نام خاص و کميت اثر
xxxii, 702p.
ساير جزييات
:ill
فروست
عنوان فروست
Lecture Notes in Computer Science
مشخصه جلد
; 10001
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science
موضوع مستند نشده
Programming languages (Electronic computers)
موضوع مستند نشده
Software engineering
موضوع مستند نشده
علوم کامپیوتر
موضوع مستند نشده
زبانهای برنامهنویسی کامپیوتر
موضوع مستند نشده
مهندسی نرم افزار
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Ahrendt, Wolfgang
مبدا اصلی
کشور
ایران
تاريخ عمليات
20190306
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783319498119.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد