ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

دانلود کتاب مهندسی نرم افزار و روش های رسمی: کارگاه های آموزشی SEFM 2019: CoSim-CPS، ASYDE، CIFMA، و FOCLASA، اسلو، نروژ، 16 تا 20 سپتامبر 2019، مقالات منتخب اصلاح شده

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

مشخصات کتاب

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

ویرایش: [1st ed.] 
نویسندگان:   
سری: Lecture Notes in Computer Science 12226 
ISBN (شابک) : 9783030575052, 9783030575069 
ناشر: Springer International Publishing;Springer 
سال نشر: 2020 
تعداد صفحات: X, 277
[284] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 Mb

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



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

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


در صورت تبدیل فایل کتاب Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مهندسی نرم افزار و روش های رسمی: کارگاه های آموزشی SEFM 2019: CoSim-CPS، ASYDE، CIFMA، و FOCLASA، اسلو، نروژ، 16 تا 20 سپتامبر 2019، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مهندسی نرم افزار و روش های رسمی: کارگاه های آموزشی SEFM 2019: CoSim-CPS، ASYDE، CIFMA، و FOCLASA، اسلو، نروژ، 16 تا 20 سپتامبر 2019، مقالات منتخب اصلاح شده



جلد LNCS 12226 شامل مقالات منتخب اصلاح شده از چهار کارگاه همراه با هفدهمین کنفرانس بین المللی مهندسی نرم افزار و روش های رسمی، SEFM 2019 است.

13 مقاله کامل ارائه شده همراه با 7 مقاله مقالات کوتاه در این مجلد به دقت بررسی و از بین 45 مقاله ارسالی انتخاب شدند. آنها از کارگاه‌های زیر سرچشمه می‌گیرند:

CoSim-CPS 2019 – سومین کارگاه بین‌المللی در مورد شبیه‌سازی رسمی سیستم‌های فیزیکی-سایبری؛ ASYDE 2019 -- اولین کارگاه بین المللی شناخت: مبانی بین رشته ای، مدل ها و کاربردها؛ و FOCLASA 2019 -- هفدهمین کارگاه بین المللی مبانی زبان های هماهنگی و سیستم های خود انطباق.


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

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.

The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:

CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.





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

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