دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 7176 Programming and Software Engineering ISBN (شابک) : 9783642298332, 9783642298349 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 150 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 43,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، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Design Rationale: Concepts, Techniques, and Use
دانلود کتاب David Makinson on Classical Methods for Non-Classical Problems
دانلود کتاب 韦卓民全集·第二卷：康德的经验形而上学——《纯粹理性批判》上半部分注释
