دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: [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
قیمت کتاب (تومان) : 59,000
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Improving the Efficiency of Engines for Large Nonfighter Aircraft
دانلود کتاب Palaeoecology of Quaternary Drylands (Lecture Notes in Earth Sciences, 102)
دانلود کتاب Kulturell sensible Kampagnen gegen Genitalverstümmelung: Strategische und ethische Herausforderungen
دانلود کتاب 中国百年传记经典(第一卷)
