الناشر | Springer |
رقم الكتاب المعياري الدولي 13 | 9783319082592 |
رقم الكتاب المعياري الدولي 10 | 3319082590 |
الكاتب | 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 |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
مستلزمات الحمامديكورات المنازلالمطبخ وأدوات الطعامالأدوات وتحسين المنزلأجهزة الصوت والفيديوالأثاثمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطورالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجالمنتجات الرعاية الصحية