دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 39,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 در حیفا، اسرائیل برگزار شد، تشکیل شده است. آنها روی مسیرهای آتی آزمایش و تأیید برای سخت افزار، نرم افزار و سیستم های ترکیبی پیچیده تمرکز می کنند.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Roman Frontier in Central Jordan. Interim Report on the Limes Arabicus Project, 1980–1985
语言家 : 我的语言探险之旅 /دانلود کتاب 语言家 : 我的语言探险之旅 /Yu yan jia : wo de yu yan tan xian zhi lü
دانلود کتاب Lehrbuch für Masseure und medizinische Bademeister
دانلود کتاب Life and death in Asia Minor in Hellenistic, Roman and Byzantine times: studies in archaeology and bioarchaeology
