دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: فن آوری ویرایش: 1 نویسندگان: Eyal Bin, Avi Ziv, Shmuel Ur سری: ISBN (شابک) : 9783540708889, 354070888X ناشر: Springer سال نشر: 2007 تعداد صفحات: 246 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت تبدیل فایل کتاب Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised ... / Programming and Software Engineering) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار ، تأیید و آزمایش: دومین کنفرانس بین المللی تأیید حیفا ، HVC 2006 ، حیفا ، اسرائیل ، 23-26 اکتبر 2006 ، اصلاح شده ... / برنامه نویسی و مهندسی نرم افزار) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل دومین کنفرانس بین المللی تأیید حیفا، HVC 2006، که در حیفا، اسرائیل، در اکتبر 2006 برگزار شد، است.
15 مقاله کامل اصلاح شده همراه با 2 مقاله دعوت شده ارائه شده سخنرانی ها به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. این مقالات در سه مسیر موضوعی در مورد فنآوریها و روشهای تأیید سختافزار، آزمایش نرمافزار، و ابزارهایی برای تأیید سختافزار و تست نرمافزار سازماندهی شدهاند.