English
  • إرجاع مجاني بسهولة
  • أفضل عروض

Methods, Models And Tools For Fault Tolerance paperback english - 22 May 2009

قبل:
793.00 جنيه
الآن:
753.35 جنيه يشمل ضريبة القيمة المضافة
وفّرت:
39.65 جنيه
Super Saver
باقي 1 وحدات في المخزون
noon-marketplace
احصل عليه خلال 14 نوفمبر
اطلب في غضون 15 ساعة 4 دقيقة
emi
خطط الدفع الشهرية تبدأ من جنيه21عرض المزيد من التفاصيل
إدفع 6 اقساط شهرية بقيمة ١٥٠٫٠٠ جنيه.
/nbe-emi
التوصيل 
بواسطة نوون
التوصيل بواسطة نوون
الدفع 
عند الاستلام
الدفع عند الاستلام
عملية 
تحويل آمنة
عملية تحويل آمنة
1
1 في عربة التسوق
أضف للعربة
Noon Locker
توصيل مجاني لنقطة نون ومراكز الاستلام
معرفة المزيد
free_returns
تقدر ترجّع المنتج بسهولة في العرض ده
نظرة عامة
المواصفات
الناشرSpringer-Verlag Berlin And Heidelberg GmbH & Co. KG
رقم الكتاب المعياري الدولي 139783642008665
رقم الكتاب المعياري الدولي 103642008666
اللغةالإنجليزية
وصف الكتابThe growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University.
تاريخ النشر22 May 2009
عدد الصفحات343

Methods, Models And Tools For Fault Tolerance paperback english - 22 May 2009

في عربة التسوق atc
مجموع العربة 753.35 جنيه
Loading