دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
دانلود کتاب تأیید نرم افزار: دوازدهمین کنفرانس بین المللی ، VSTTE 2020 و سیزدهمین کارگاه بین المللی ، NSV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 19 تا 21 ژوئیه ، 2020 ، مقاله های منتخب اصلاح شده
مشخصات کتاب
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
ویرایش: نویسندگان: Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel سری: Lecture Notes in Computer Science, 12549 ISBN (شابک) : 3030636178, 9783030636173 ناشر: Springer سال نشر: 2021 تعداد صفحات: 235 [257] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 14 Mb
قیمت کتاب (تومان) : 62,000
در صورت تبدیل فایل کتاب Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار: دوازدهمین کنفرانس بین المللی ، VSTTE 2020 و سیزدهمین کارگاه بین المللی ، NSV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 19 تا 21 ژوئیه ، 2020 ، مقاله های منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید نرم افزار: دوازدهمین کنفرانس بین المللی ، VSTTE 2020 و سیزدهمین کارگاه بین المللی ، NSV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 19 تا 21 ژوئیه ، 2020 ، مقاله های منتخب اصلاح شده
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بینالمللی نرمافزار تأیید شده، VSTTE 2020، و سیزدهمین کارگاه بینالمللی تأیید نرمافزار عددی، NSV 2020، برگزار شده در لسآنجلس، کالیفرنیا، ایالات متحده آمریکا، در ژوئیه 2020 است. به دلیل همهگیری COVID-19 کنفرانس به صورت مجازی برگزار شد. 13 مقاله ارائه شده در این جلد به دقت بررسی و از بین 21 مقاله ارسالی انتخاب شدند. این مقالات تلاشهای راستیآزمایی در مقیاس بزرگ را توصیف میکنند که شامل همکاری، یکپارچگی تئوری، یکپارچهسازی ابزار، و دانش دامنه رسمی و همچنین آزمایشهای جدید و مطالعات موردی برای ارزیابی تکنیکها و فناوریهای راستیآزمایی است. این کنفرانس با سی و دومین کنفرانس بینالمللی تأیید به کمک رایانه (CAV 2020) برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Veri cation (CAV 2020).
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Wild Woman’s Way: Unlock Your Full Potential for Pleasure, Power, and Fulfillment
دانلود کتاب Bagels, Barry Bonds, and Rotten Politicians
دانلود کتاب The Cancer Pain Sourcebook
