مشخصات کتاب

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 مگابایت 

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

در صورت تبدیل فایل کتاب 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب American Apartheid: Segregation and the Making of the Underclass

دانلود کتاب More ProActive Sales Management: Avoid the Mistakes Even Great Sales Managers Make -- And Get Extraordinary Results

دانلود کتاب The Truth About Sex, A Sex Primer for the 21st Century Volume I: Sex and the Self

دانلود کتاب The Collected Joe Abercrombie

دانلود کتاب You Belong to Me