دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: دوازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2016، حیفا، اسرائیل، 14-17 نوامبر 2016، مجموعه مقالات
مشخصات کتاب
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ویرایش: 1
نویسندگان: Roderick Bloem. Eli Arbel (eds.)
سری: Lecture Notes in Computer Science 10028
ISBN (شابک) : 9783319490526, 9783319490519
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 225
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 47,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: دوازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2016، حیفا، اسرائیل، 14-17 نوامبر 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: دوازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2016، حیفا، اسرائیل، 14-17 نوامبر 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی راستی‌آزمایی حیفا، HVC 2016، که در حیفا، اسرائیل در نوامبر 2016 برگزار شد. . آنها وقف پیشرفت هنر و وضعیت عملکرد در راستی‌آزمایی و آزمایش هستند و در حال بحث در مورد مسیرهای آتی آزمایش و تأیید برای سخت‌افزار، نرم‌افزار، و سیستم‌های ترکیبی پیچیده هستند.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Introduction to Real-time Software Design
دانلود کتاب Auditing and GRC automation in SAP
دانلود کتاب Strange Histories: The Trial of the Pig, the Walking Dead, and other Matters of Fact from the Medieval and Renaissance Worlds (*)
دانلود کتاب Average to Epic A Mid-Lifer's Guide to Endurance Sports and Lifelong Fitness
