دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: هشتمین کنفرانس بین المللی تأیید حیفا ، HVC 2012 ، حیفا ، اسرائیل ، 6-8 نوامبر ، 2012. مقالات اصلاح شده
مشخصات کتاب
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ویرایش: 1 نویسندگان: David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.) سری: Lecture Notes in Computer Science 7857 ISBN (شابک) : 9783642396106, 9783642396113 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 291 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 50,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: هشتمین کنفرانس بین المللی تأیید حیفا ، HVC 2012 ، حیفا ، اسرائیل ، 6-8 نوامبر ، 2012. مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: هشتمین کنفرانس بین المللی تأیید حیفا ، HVC 2012 ، حیفا ، اسرائیل ، 6-8 نوامبر ، 2012. مقالات اصلاح شده
این کتاب مجموعه مقالات هشتمین کنفرانس بین‌المللی راستی‌آزمایی حیفا، HVC 2012، که در نوامبر 2012 در حیفا، اسرائیل برگزار شد، تشکیل شده است. آنها روی مسیرهای آتی آزمایش و تأیید برای سخت افزار، نرم افزار و سیستم های ترکیبی پیچیده تمرکز می کنند.
