دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
دانلود کتاب سخت افزار و نرم افزار: راستی آزمایی و آزمایش: دهمین کنفرانس بین المللی تأیید حیفا ، HVC 2014 ، هایفا ، اسرائیل ، 18 تا 20 نوامبر 2014. مجموعه مقالات
مشخصات کتاب
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
ویرایش: 1
نویسندگان: Eran Yahav (eds.)
سری: Lecture Notes in Computer Science 8855 Programming and Software Engineering
ISBN (شابک) : 9783319133379, 9783319133386
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 313
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 37,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: راستی آزمایی و آزمایش: دهمین کنفرانس بین المللی تأیید حیفا ، HVC 2014 ، هایفا ، اسرائیل ، 18 تا 20 نوامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: راستی آزمایی و آزمایش: دهمین کنفرانس بین المللی تأیید حیفا ، HVC 2014 ، هایفا ، اسرائیل ، 18 تا 20 نوامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی راستی‌آزمایی حیفا، HVC 2014، که در حیفا، اسرائیل، در نوامبر 2014 برگزار شد، تشکیل می‌شود. 17 مقاله کامل اصلاح‌شده و 4 مقاله کوتاه ارائه‌شده با دقت بررسی و از بین 43 مورد ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات را در زمینه های فرعی آزمایش و تأیید قابل اجرا در نرم افزار، سخت افزار، و سیستم های ترکیبی پیچیده پوشش می دهند.
