دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: ششمین کنفرانس بین المللی تأیید حیفا ، HVC 2010 ، حیفا ، اسرائیل ، 4-7 اکتبر 2010. نسخه های تجدید نظر شده
مشخصات کتاب
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ویرایش: 1 نویسندگان: João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.) سری: Lecture Notes in Computer Science 6504 Programming and Software Engineering ISBN (شابک) : 9783642195839, 3642195830 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 207 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 49,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: ششمین کنفرانس بین المللی تأیید حیفا ، HVC 2010 ، حیفا ، اسرائیل ، 4-7 اکتبر 2010. نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: ششمین کنفرانس بین المللی تأیید حیفا ، HVC 2010 ، حیفا ، اسرائیل ، 4-7 اکتبر 2010. نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس ششمین کنفرانس بین‌المللی راستی‌آزمایی حیفا، HVC 2010، که در حیفا، اسرائیل در اکتبر 2010 برگزار شد، با داوری کامل است.
10 مقاله کامل اصلاح‌شده با هم ارائه شده‌اند. با 7 مقاله دعوت شده به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شد. این مقالات به تمام مسائل جاری، چالش‌ها و جهت‌های آتی راستی‌آزمایی برای سخت‌افزار، نرم‌افزار و سیستم‌های ترکیبی می‌پردازد و تمرکز پژوهشی بر روی روش‌های ترکیبی و مهاجرت روش‌ها و ایده‌ها بین سخت‌افزار و نرم‌افزار، تحلیل استاتیک و پویا، پیش و پس است. -سیلیکون.
