ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

دانلود کتاب جنبه های رسمی نرم افزار کامپوننت: پانزدهمین کنفرانس بین المللی، FACS 2018، پوهانگ، کره جنوبی، 10 تا 12 اکتبر 2018، مجموعه مقالات

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

مشخصات کتاب

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

ویرایش: [1st ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science 11222 
ISBN (شابک) : 9783030021450 
ناشر: Springer International Publishing 
سال نشر: 2018 
تعداد صفحات: XII, 297
[305] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 Mb 

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

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



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

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


در صورت تبدیل فایل کتاب Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار کامپوننت: پانزدهمین کنفرانس بین المللی، FACS 2018، پوهانگ، کره جنوبی، 10 تا 12 اکتبر 2018، مجموعه مقالات



این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی جنبه‌های رسمی نرم‌افزار مؤلفه، FACS 2018، در پوهانگ، کره جنوبی، در اکتبر 2018 است.
14 مقاله کامل همراه با یک دعوت‌شده ارائه شده است. چکیده و یک مقاله دعوت شده به دقت بررسی و از بین 32 مقاله ارسالی انتخاب شد. FACS 2016 به این موضوع می پردازد که چگونه می توان از روش های رسمی برای موفقیت توسعه نرم افزار مبتنی بر مؤلفه و سرویس گرا استفاده کرد. روش‌های رسمی با پرداختن موفقیت‌آمیز به مسائل چالش برانگیز مانند مدل‌های ریاضی برای اجزا، ترکیب و انطباق، یا رویکردهای دقیق برای تأیید، استقرار، آزمایش و صدور گواهینامه، پایه‌ای برای نرم‌افزار مبتنی بر مؤلفه فراهم کرده‌اند.


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

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.
The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.





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