دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
دانلود کتاب تأیید نرم افزار: سیزدهمین کنفرانس بین المللی، VSTTE 2021، نیوهیون، CT، ایالات متحده آمریکا، 18 تا 19 اکتبر 2021، و چهاردهمین کارگاه بین المللی، NSV 2021، ... (یادداشت های سخنرانی در علوم کامپیوتر، 13124)
مشخصات کتاب
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
ویرایش: [1st ed. 2022] نویسندگان: Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha Sharygina (editor) سری: ISBN (شابک) : 3030955605, 9783030955601 ناشر: Springer سال نشر: 2022 تعداد صفحات: 211 [207] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار: سیزدهمین کنفرانس بین المللی، VSTTE 2021، نیوهیون، CT، ایالات متحده آمریکا، 18 تا 19 اکتبر 2021، و چهاردهمین کارگاه بین المللی، NSV 2021، ... (یادداشت های سخنرانی در علوم کامپیوتر، 13124) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید نرم افزار: سیزدهمین کنفرانس بین المللی، VSTTE 2021، نیوهیون، CT، ایالات متحده آمریکا، 18 تا 19 اکتبر 2021، و چهاردهمین کارگاه بین المللی، NSV 2021، ... (یادداشت های سخنرانی در علوم کامپیوتر، 13124)
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی
نرم افزار تایید شده، VSTTE 2021، و چهاردهمین کارگاه بین المللی
امین بین المللی تایید نرم افزار عددی، NSV 2021 است
که به صورت آنلاین در ژوئیه/ اکتبر 2021 برگزار شد. به دلیل
بیماری همه گیر کووید-19، کنفرانس به صورت مجازی برگزار
شد.
10 مقاله ارائه شده در این مجلد به دقت بررسی و از بین 20
مورد ارسالی انتخاب شد.
مقالات بر چالش‌های این مجموعه تمرکز دارد. تأیید سیستم های فیزیکی سایبری با اجزای یادگیری ماشین و تبدیل نرم افزار تأیید شده در مقیاس بزرگ به واقعیت عملی و موارد دیگر.
توضیحاتی درمورد کتاب به خارجی
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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Symmetry Breaking for Representations of Rank One Orthogonal Groups II
دانلود کتاب Zur Bewältigung der Kriegsschuldfrage: Völkerrecht und Strategie bei der Auslösung zweier Weltkriege
دانلود کتاب CoreOS in Action: Running Applications on Container Linux
دانلود کتاب Call Center Lexikon : die wichtigsten Fachbegriffe der Branche verständlich erklärt
