0 رای
وضعیت موجودی موجود

قیمت قبلی: 3,720,000 ریال
قیمت: 3,320,000 ریال

 



جلد سخت سیاه و سفید

Product details

  • Publisher ‏ : ‎ Springer; 1st ed. 2022 edition (February 22, 2022)
  • Language ‏ : ‎ English
  • Paperback ‏ : ‎ 212 pages
  • ISBN-10 ‏ : ‎ 3030955605
  • ISBN-13 ‏ : ‎ 978-3030955601


 

کتاب Software Verification (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.

There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.

The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. 

منابع کتاب کتاب Software Verification (Lecture Notes in Computer Science)

این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی نرم‌افزار تایید شده، VSTTE 2021، و چهاردهمین کارگاه بین‌المللی تأیید نرم‌افزار عددی، NSV 2021 است که به صورت آنلاین در ژوئیه/اکتبر 2021 برگزار شد. به دلیل همه‌گیری COVID-19، کنفرانس برگزار شد. به صورت مجازی برگزار می شود.

10 مقاله ارائه شده در این جلد بود که با دقت بررسی و از بین 20 مقاله ارسالی انتخاب شدند.

این مقالات بر چالش‌های راستی‌آزمایی سیستم‌های فیزیکی سایبری با اجزای یادگیری ماشین و تبدیل نرم‌افزار تأیید شده در مقیاس بزرگ به واقعیت عملی و موارد دیگر تمرکز دارد. 

نظرات کاربران درباره کتاب Software Verification (Lecture Notes in Computer Science)

نظری در مورد این محصول توسط کاربران ارسال نگردیده است.
اولین نفری باشید که در مورد کتاب Software Verification (Lecture Notes in Computer Science) نظر می دهد.

ارسال نظر درباره کتاب Software Verification (Lecture Notes in Computer Science)

لطفا توجه داشته باشید که ایمیل شما منتشر نخواهد شد.

برچسب های مرتبط با کتاب Software Verification (Lecture Notes in Computer Science)

Computers&Technology انتشارات طلایی

بر اساس سلیقه شما...

جلد سخت رنگی Publisher:  Springer Year:  2022 ...
9,500,000 ریال
  جلد سخت سیاه و سفید Product details Publis ...
4,020,000 ریال
  جلد سخت رنگی Product details Publisher &rl ...
18,760,000 ریال

codebazan

طراحی و اجرا: فروشگاه ساز سبدخرید