دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
دانلود کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی ، WS-FM 2011 ، کلرمون -فران ، فرانسه ، 1-2 سپتامبر 2011 ، مقالات منتخب بازبینی شده
مشخصات کتاب
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (eds.) سری: Lecture Notes in Computer Science 5387 ISBN (شابک) : 9783642013645, 3642013643 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 151 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی ، WS-FM 2011 ، کلرمون -فران ، فرانسه ، 1-2 سپتامبر 2011 ، مقالات منتخب بازبینی شده: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، مهندسی نرم افزار، مدیریت محاسبات و سیستم های اطلاعاتی، ذخیره سازی و بازیابی اطلاعات، رابط های کاربر و تعامل انسان با کامپیوتر
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی ، WS-FM 2011 ، کلرمون -فران ، فرانسه ، 1-2 سپتامبر 2011 ، مقالات منتخب بازبینی شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی ، WS-FM 2011 ، کلرمون -فران ، فرانسه ، 1-2 سپتامبر 2011 ، مقالات منتخب بازبینی شده
این کتاب مجموعه مقالات پس از داوری کامل هشتمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2011، در شهر کلرمون-فران، فرانسه، در سپتامبر 2011 برگزار شد. این کارگاه با نهمین دوره برگزار شد. کنفرانس بین المللی مدیریت فرآیند کسب و کار، BPM 2011. 9 مقاله کامل ارائه شده به دقت بررسی و از 14 مورد ارسالی انتخاب شدند. آنها با محاسبات سرویس گرا (SOC)، محاسبات ابری و روش های رسمی سروکار دارند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
فهرست مطالب
Front Matter....Pages -
Understanding Distributed Services through the π -Calculus....Pages 1-1
Reliable Contracts for Unreliable Half-Duplex Communications....Pages 2-16
Behavior Based Service Composition....Pages 17-31
Compatibility of Data-Centric Web Services....Pages 32-47
Time and Exceptional Behavior in Multiparty Structured Interactions....Pages 48-63
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations....Pages 64-78
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework....Pages 79-94
Design of a BPEL Verification Tool....Pages 95-110
Applying Process Analysis to the Italian eGovernment Enterprise Architecture....Pages 111-127
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures....Pages 128-142
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 9 11 and the War on Terror (Representing American Events) (2008)
دانلود کتاب Jean-Jacques Rousseau: Transparency and Obstruction
دانلود کتاب Soft Computing and Signal Processing: Proceedings of 3rd ICSCSP 2020, Volume 2: 1340 (Advances in Intelligent Systems and Computing, 1340)
