دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 ISBN (شابک) : 3642195822, 9783642195822 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 208 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 53,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. مقالات منتخب اصلاح شده
