دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: سیزدهمین کنفرانس بین المللی تأیید حیات ، HVC 2017 ، حیفا ، اسرائیل ، 13-15 نوامبر 2017 ، مجموعه مقالات
مشخصات کتاب
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ویرایش: 1
نویسندگان: Ofer Strichman. Rachel Tzoref-Brill (eds.)
سری: Programming and Software Engineering 10629
ISBN (شابک) : 9783319703886, 9783319703893
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 268
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 32,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: سیزدهمین کنفرانس بین المللی تأیید حیات ، HVC 2017 ، حیفا ، اسرائیل ، 13-15 نوامبر 2017 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: سیزدهمین کنفرانس بین المللی تأیید حیات ، HVC 2017 ، حیفا ، اسرائیل ، 13-15 نوامبر 2017 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی تأیید حیفا، HVC 2017، برگزار شده در حیفا، اسرائیل در نوامبر 2017 است. 13 مقاله کامل اصلاح شده ارائه شده همراه با 4 مقاله پوستر و 5 مقاله آزمایشی ابزار به دقت بررسی و انتخاب شدند 45 ارسال. آنها وقف پیشرفت هنر و وضعیت عملکرد در راستی‌آزمایی و آزمایش هستند و در حال بحث در مورد مسیرهای آتی آزمایش و تأیید برای سخت‌افزار، نرم‌افزار، و سیستم‌های ترکیبی پیچیده هستند.
