دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17–19, 2015, Proceedings
دانلود کتاب سخت افزار و نرم افزار: تأیید و آزمایش: یازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2015، حیفا، اسرائیل، 17–19 نوامبر 2015، مجموعه مقالات
مشخصات کتاب
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17–19, 2015, Proceedings
ویرایش: 1
نویسندگان: Nir Piterman (eds.)
سری: Lecture Notes in Computer Science 9434
ISBN (شابک) : 9783319262864, 9783319262871
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: 293
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 23 مگابایت
قیمت کتاب (تومان) : 39,000
کتاب مورد نظر موجود نمی باشد
در صورت تبدیل فایل کتاب Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17–19, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سخت افزار و نرم افزار: تأیید و آزمایش: یازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2015، حیفا، اسرائیل، 17–19 نوامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سخت افزار و نرم افزار: تأیید و آزمایش: یازدهمین کنفرانس بین المللی تأیید حیفا، HVC 2015، حیفا، اسرائیل، 17–19 نوامبر 2015، مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی راستی‌آزمایی حیفا، HVC 2015، برگزار شده در حیفا، اسرائیل، در نوامبر 2015 است.
17 مورد تجدیدنظر شده مقالات کامل و 4 گفتگوی دعوت شده ارائه شده با دقت بررسی و از بین ارسال های متعدد انتخاب شدند. مقالات در بخش های موضوعی در مورد سیستم های ترکیبی سازماندهی شده است. ابزار؛ تایید رباتیک؛ اجرای نمادین؛ بررسی مدل؛ سیستم های زمان بندی شده؛ حل SAT؛ تایید چند دامنه؛ و سنتز.
