مشخصات کتاب

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

ویرایش: 1 
نویسندگان: Armin Biere (auth.),  Kerstin Eder,  João Lourenço,  Onn Shehory (eds.)  
سری: Lecture Notes in Computer Science 7261 
ISBN (شابک) : 9783642341878, 9783642341885 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 273 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: هفتمین کنفرانس بین المللی تأیید حیفا، HVC 2011، هیفا، اسرائیل، 6-8 دسامبر 2011، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: هفتمین کنفرانس بین المللی تأیید حیفا، HVC 2011، هیفا، اسرائیل، 6-8 دسامبر 2011، مقالات منتخب اصلاح شده

توضیحاتی درمورد کتاب به خارجی

نظرات کاربران

کتاب های تصادفی

دانلود کتاب プラトン全集 7 - テアゲス ・カルミデス・ ラケス・ リュシス

دانلود کتاب Lonely Planet New Zealand's Best Trips 2 (Travel Guide)

دانلود کتاب Marifetname

دانلود کتاب Global Forum on Transparency and Exchange of Information for Tax Purposes.

دانلود کتاب The Baker’s Appendix: The Essential Kitchen Companion, with Deliciously Dependable, Infinitely Adaptable Recipes