ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

دانلود کتاب جنبه های رسمی نرم افزار کامپوننت: هفدهمین کنفرانس بین المللی، FACS 2021، رویداد مجازی، 28 تا 29 اکتبر 2021، مجموعه مقالات

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

مشخصات کتاب

Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

ویرایش: [1st ed. 2021] 
نویسندگان:   
سری: Lecture Notes in Computer Science 
ISBN (شابک) : 3030906353, 9783030906351 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 188
[182] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 Mb

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



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

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


در صورت تبدیل فایل کتاب Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب جنبه های رسمی نرم افزار کامپوننت: هفدهمین کنفرانس بین المللی، FACS 2021، رویداد مجازی، 28 تا 29 اکتبر 2021، مجموعه مقالات

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

7 مقاله کامل و 1 مقاله کوتاه با دقت بررسی شدند و از میان 16 مقاله ارسالی انتخاب شده و در جلد به همراه 1 مقاله دعوت شده ارائه شده است. FACS 2021 به این موضوع می پردازد که چگونه روش های رسمی را می توان برای نرم افزار و توسعه سیستم مبتنی بر جزء اعمال کرد. این کتاب به دو بخش تقسیم می‌شود: مدل‌سازی و ترکیب و تأیید.
فصل \"الگوریتم موازی خطی برای محاسبه دوشبیه‌سازی و درشت‌ترین پارتیشن‌های رابطه‌ای\" تحت مجوز Creative Commons Attribution 4.0 بین‌المللی از طریق link.springer.com با دسترسی آزاد در دسترس است.

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

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.

The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. 
Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد