دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.]
نویسندگان: Ivan Lanese. Eric Madelaine (eds.)
سری: 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
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب 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 است که در برتینورو، ایتالیا، در سپتامبر 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.