ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

دانلود کتاب جنبه های رسمی نرم افزار کامپوننت: یازدهمین سمپوزیوم بین المللی ، FACS 2014 ، برتینورو ، ایتالیا ، 10-12 سپتامبر 2014 ، نسخه های تجدید نظر شده

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

مشخصات کتاب

Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

ویرایش: [1 ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science 8997 Programming and Software Engineering 
ISBN (شابک) : 9783319153162, 9783319153179 
ناشر: Springer International Publishing 
سال نشر: 2015 
تعداد صفحات: 385
[386] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 26 Mb 

قیمت کتاب (تومان) : 37,000

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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 3


در صورت تبدیل فایل کتاب Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب جنبه های رسمی نرم افزار کامپوننت: یازدهمین سمپوزیوم بین المللی ، FACS 2014 ، برتینورو ، ایتالیا ، 10-12 سپتامبر 2014 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار کامپوننت: یازدهمین سمپوزیوم بین المللی ، FACS 2014 ، برتینورو ، ایتالیا ، 10-12 سپتامبر 2014 ، نسخه های تجدید نظر شده



این کتاب شامل مقالات منتخب اصلاح شده از سمپوزیوم بین‌المللی جنبه‌های رسمی نرم‌افزار مؤلفه، FACS 2014 است که در برتینورو، ایتالیا، در سپتامبر 2014 برگزار شد.

20 مقاله کامل ارائه‌شده در این مقاله جلد به دقت بررسی و از بین 44 مورد ارسالی انتخاب شد. آنها در بخش های موضوعی به نام های: رویکردهای ترکیبی سازماندهی شده اند. سازگاری و تکامل؛ کاربرد و تجربه؛ ابزار؛ برنامه ریزی، زمان و سیستم های ترکیبی؛ سایر روش های تأیید و ایمنی و زنده بودن ترکیب. این جلد همچنین شامل دو سخنرانی دعوت شده، یک مقاله کامل و یک چکیده است.


توضیحاتی درمورد کتاب به خارجی

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.

The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.





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