• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض

Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

162.00
شامل ضريبة القيمة المضافة
nudge icon
توصيل مجاني
nudge icon
توصيل مجاني
noon-marketplace
احصل عليه خلال 2 - 3 يوليو
اطلب في غضون 10 ساعة 17 دقيقة
VIP ENBD Credit Card

التوصيل 
بواسطة نوون
التوصيل بواسطة نوون
البائع ذو
 تقييم عالي
البائع ذو تقييم عالي
الدفع 
عند الاستلام
الدفع عند الاستلام
عملية 
تحويل آمنة
عملية تحويل آمنة
نظرة عامة على المنتج
المواصفات
الناشرSpringer
رقم الكتاب المعياري الدولي 139783319082592
رقم الكتاب المعياري الدولي 103319082590
الكاتبEmilio Tuosto
اللغةEnglish
وصف الكتاب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.
تاريخ النشر25 July 2014
عدد الصفحات200 pages
مجموع السلة  162.00

نحن دائماً جاهزون لمساعدتك

تواصل معنا من خلال أي من قنوات الدعم التالية:

تسوق أينما كنت

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

mastercardvisatabbytamaraamexcod