ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Formal methods for web services advanced lectures, 9, 2009, Bertinoro

دانلود کتاب روشهای رسمی برای سخنرانیهای پیشرفته خدمات وب ، 9 ، 2009 ، Bertinoro

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

مشخصات کتاب

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

دسته بندی: شبکه سازی: اینترنت
ویرایش: 1 
نویسندگان: , ,   
سری:  
ISBN (شابک) : 9783642019173, 364201917X 
ناشر: Springer 
سال نشر: 2009 
تعداد صفحات: 346 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Formal methods for web services advanced lectures, 9, 2009, Bertinoro به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای رسمی برای سخنرانیهای پیشرفته خدمات وب ، 9 ، 2009 ، Bertinoro نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روشهای رسمی برای سخنرانیهای پیشرفته خدمات وب ، 9 ، 2009 ، Bertinoro

این کتاب مجموعه‌ای از 8 مقاله را همراه با سخنرانی‌های محققان برجسته ارائه می‌کند که در نهمین ویرایش مدرسه بین‌المللی روش‌های رسمی برای طراحی سیستم‌های رایانه، ارتباطات و نرم‌افزار، SFM 2009، در برتینورو، ایتالیا، در ژوئن 2009 برگزار شد. SFM 2009 به روش‌های رسمی برای سرویس‌های وب اختصاص داشت و جنبه‌های مختلفی از جمله کوروگرافی، ارکستراسیون، تکنیک‌های توصیف، تعامل، ترکیب، ترکیب، انواع جلسه، قراردادها، تأیید، امنیت و عملکرد را پوشش داد. مدرسه بین المللی روش های رسمی برای طراحی کامپیوتر، ارتباطات و سیستم های نرم افزاری


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

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance. International School on Formal Methods for the Design of Computer, Communication, and Software Systems



فهرست مطالب

Front Matter....Pages -
Calculi for Service-Oriented Computing....Pages 1-41
Service Interaction: Patterns, Formalization, and Analysis....Pages 42-88
Synthesis and Composition of Web Services....Pages 89-157
Fundamentals of Session Types....Pages 158-186
Asynchronous Session Types: Exceptions and Multiparty Interactions....Pages 187-212
Contract-Based Discovery and Adaptation of Web Services....Pages 213-260
Contract-Based Discovery and Composition of Web Services....Pages 261-295
Quantitative Analysis of Web Services Using SRMC....Pages 296-339
Back Matter....Pages -




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

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