دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
دانلود کتاب سخت افزار و نرم افزار ، تأیید و آزمایش: اولین کنفرانس بین المللی تأیید حیفا ، حیفا ، اسرائیل ، 13 تا 16 نوامبر 2005 ، مقالات منتخب اصلاح شده
مشخصات کتاب
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.) سری: Lecture Notes in Computer Science 3875 : Programming and Software Engineering ISBN (شابک) : 3540326049, 9783540326045 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 274 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 37,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار ، تأیید و آزمایش: اولین کنفرانس بین المللی تأیید حیفا ، حیفا ، اسرائیل ، 13 تا 16 نوامبر 2005 ، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار ، تأیید و آزمایش: اولین کنفرانس بین المللی تأیید حیفا ، حیفا ، اسرائیل ، 13 تا 16 نوامبر 2005 ، مقالات منتخب اصلاح شده
اولین کنفرانس تأیید حیفا در آزمایشگاه تحقیقاتی IBM هیفا و در دانشگاه حیفا در اسرائیل از 13 تا 16 نوامبر 2005 برگزار شد. این کنفرانس شامل سه کارگاه آموزشی مختلف بود که در سال های گذشته به طور جداگانه برگزار شد. کارگاه تأیید اعتبار IBM اکنون ششمین سال خود را پشت سر می گذارد، کارگاه تست نرم افزار آی بی ام در چهارمین سال خود و کارگاه PADTAD تست و رفع اشکال نرم افزارهای چند رشته ای و موازی برای سومین بار برگزار شد. کنفرانس تأیید یک کنفرانس سه روزه و تک آهنگی بود که پس از آن یک آموزش یک روزه در مورد آزمایش و بررسی کدهای چند رشته ای ارائه شد. این کنفرانس ترکیبی منحصر به فرد از زمینه ها را ارائه کرد که جوامع تست سخت افزار و نرم افزار را گرد هم آورد. ادغام جوامع مختلف زیر یک سقف واحد به کنفرانس طعمی متمایز بخشید و مزایای بیشتری را برای شرکت کنندگان فراهم کرد. در حالی که برنامه های کاربردی در این زمینه های جداگانه متفاوت است، تکنیک های مورد استفاده اغلب بسیار مشابه هستند. کنفرانس با ارائه سخنرانی در این رشته های متفاوت اما مرتبط، محیطی از همکاری و کشف را ایجاد کرد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
دانلود کتاب Innovative Internet Community Systems: 5th International Workshop, IICS 2005, Paris, France, June 20-22, 2005. Revised Papers
دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
دانلود کتاب Conferences internationales de sciences mathematiques ... III Colloque consacre a la theorie des probabilites ... Troisieme partie. Les sommes et les fonctions de variables aleatoires.
دانلود کتاب Intelligent robots and systems: selections of the International Conference on Intelligent Robots and Systems 1994, IROS 94, Munich, Germany, 12-16 September 1994
دانلود کتاب Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings
دانلود کتاب DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, June 10–13, 2002 Revised Papers
دانلود کتاب Distributed Computing and Networking: 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings
دانلود کتاب Service-Oriented Computing ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings
