دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: پنجمین کنفرانس بین المللی تأیید حیفا ، HVC 2009 ، حیفا ، اسرائیل ، 19-22 اکتبر 2009 ، نسخه های تجدید نظر شده
مشخصات کتاب
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
ویرایش: 1 نویسندگان: David Harel (auth.), Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.) سری: Lecture Notes in Computer Science 6405 ISBN (شابک) : 9783642192364, 364219236X ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 178 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: پنجمین کنفرانس بین المللی تأیید حیفا ، HVC 2009 ، حیفا ، اسرائیل ، 19-22 اکتبر 2009 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: پنجمین کنفرانس بین المللی تأیید حیفا ، HVC 2009 ، حیفا ، اسرائیل ، 19-22 اکتبر 2009 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل پنجمین کنفرانس بین المللی تأیید حیفا، HVC 2009، که در حیفا، اسرائیل در اکتبر 2009 برگزار شد، تشکیل می شود. و از بین 23 مورد ارسالی انتخاب شد. این مقالات به تمام مسائل جاری، چالش‌ها و جهت‌گیری‌های آتی تأیید برای سخت‌افزار، نرم‌افزار و سیستم‌های ترکیبی می‌پردازند و تحقیقات آکادمیک را در تأیید سیستم‌ها ارائه می‌دهند که به طور کلی به دو پارادایم تقسیم می‌شوند - تأیید رسمی و تأیید پویا (تست).
