دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.]
نویسندگان: Marsha Chechik. Jean-François Raskin (eds.)
سری: Lecture Notes in Computer Science 9636
ISBN (شابک) : 9783662496732, 9783662496749
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: XIX, 961
[958]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 31 Mb
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتمها برای ساخت و تجزیه و تحلیل سیستمها: بیست و دومین کنفرانس بینالمللی، TACAS 2016، به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS 2016، آیندهوون، هلند، 2-8 آوریل 2016، مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات بیست و دومین کنفرانس بینالمللی
ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها، TACAS 2016
است که در آوریل 2016 در آیندهوون، هلند، به عنوان بخشی از
اروپا برگزار شد. کنفرانس های مشترک نظریه و عمل نرم افزار،
ETAPS 2016.
44 مقاله کامل ارائه شده در این جلد به دقت بررسی و از 175 مورد
ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: انتزاع
و تأیید سازماندهی شدند. سیستم های احتمالی و تصادفی؛ سنتز؛
کاغذ ابزار؛ همزمانی؛ دمو ابزار؛ زبان ها و خودکارها؛ امنیت؛
بهينه سازي؛ و رقابت در تأیید نرم افزار - SV-COMP.
This book constitutes the proceedings of the 22nd
International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2016, which took
place in Eindhoven, The Netherlands, in April 2016, held as
Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2016.
The 44 full papers presented in this volume were carefully
reviewed and selected from 175 submissions. They were
organized in topical sections named: abstraction and
verification; probabilistic and stochastic systems;
synthesis; tool papers; concurrency; tool demos; languages
and automata; security; optimization; and competition on
software verification – SV-COMP.