• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض
placeholder
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
magnifyZoom

Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

معذرة! هذا المنتج غير متوفر.
متوفر قريبا
نظرة عامة على المنتج

المواصفات

الناشرSpringer
رقم الكتاب المعياري الدولي 103540462198
اللغةEnglish
تاريخ النشر27 September 2006
رقم الكتاب المعياري الدولي 139783540462194
الكاتبElie Najm
وصف الكتابThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.
عدد الصفحات504 pages
placeholder
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
معذرة! هذا المنتج غير متوفر.
متوفر قريبا

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

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

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

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

madamastercardvisatabbytamaraamexcod
شركة حلول نون للتسويق الالكتروني شركة شخص واحد ش.ذ.م.م1010703009 السجل التجاري302004655210003 الرقم الضريبي