دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
دانلود کتاب خدمات وب و روش های رسمی: دهمین کارگاه بین المللی، WS-FM 2013، پکن، چین، اوت 2013، مقالات منتخب اصلاح شده
مشخصات کتاب
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ویرایش: [1 ed.]
نویسندگان: Emilio Tuosto. Chun Ouyang (eds.)
سری: Lecture Notes in Computer Science 8379 Programming and Software Engineering
ISBN (شابک) : 9783319082592, 9783319082608
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 189
[194]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
قیمت کتاب (تومان) : 29,000
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روش های رسمی: دهمین کارگاه بین المللی، WS-FM 2013، پکن، چین، اوت 2013، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روش های رسمی: دهمین کارگاه بین المللی، WS-FM 2013، پکن، چین، اوت 2013، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی دهمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2013، برگزار شده در پکن، چین، در آگوست 2013 است. 8 مقاله ارائه شده با دقت بررسی و انتخاب شدند. 19 ارسال. آنها جنبه‌هایی مانند روابط کنترل-جریان با استفاده از شبکه‌های پتری، سازگاری فروشگاه‌های ابری، بررسی مدل، طراحی درایوهای مدل، تجزیه و تحلیل سیستم‌های آگاه از زمینه را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.
