دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings...
دانلود کتاب ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: بیست و ششمین کنفرانس بین‌المللی، TACAS 2020، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2020، دوبلین، ایرلند، 25 تا 30 آوریل 2020، مجموعه مقالات برگزار شد. .
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings...
ویرایش: نویسندگان: Armin Biere, David Parker سری: ISBN (شابک) : 9783030451899, 9783030451905 ناشر: Springer سال نشر: 2020 تعداد صفحات: 0 زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 39,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings... به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: بیست و ششمین کنفرانس بین‌المللی، TACAS 2020، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2020، دوبلین، ایرلند، 25 تا 30 آوریل 2020، مجموعه مقالات برگزار شد. . نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: بیست و ششمین کنفرانس بین‌المللی، TACAS 2020، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2020، دوبلین، ایرلند، 25 تا 30 آوریل 2020، مجموعه مقالات برگزار شد. .
این مجموعه دو جلدی با دسترسی آزاد، مجموعه مقالات بیست و ششمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2020 است که در آوریل 2020 در دوبلین، ایرلند، برگزار شد و به عنوان بخشی از اروپا برگزار شد. کنفرانس های مشترک تئوری و عمل نرم افزار، ETAPS 2020. مجموع 60 مقاله معمولی ارائه شده در این مجلدها به دقت بررسی و از 155 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی به شرح زیر سازماندهی شده اند: بخش اول: تأیید برنامه. SAT و SMT؛ سیستم های زمان بندی شده و دینامیکی؛ تایید سیستم های همزمان؛ سیستم های احتمالی؛ بررسی مدل و قابلیت دسترسی. و سیستم های زمان بندی شده و احتمالاتی. بخش دوم: شبیه سازی تایید و کارایی؛ منطق و اثبات؛ ابزارها و مطالعات موردی؛ بازی ها و خودکارها؛ و SV-COMP 2020.
توضیحاتی درمورد کتاب به خارجی
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Photographing Washington: A Guide to the Natural Landmarks of the Evergreen State
دانلود کتاب Concepts and Issues in Management
