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

Formal Modeling And Analysis Of Timed Systems Paperback English - 1 February 2014

قبل:
529.00 جنيه
الآن:
460.00 جنيه يشمل ضريبة القيمة المضافة
وفّرت:
69.00 جنيهخصم 13٪
باقي 4 وحدات في المخزون
noon-marketplace
احصل عليه خلال 5 فبراير
اطلب في غضون 12 ساعة 59 دقيقة
إدفع 6 اقساط شهرية بقيمة ٩٠٫٠٠ جنيه.
emi
نوّنها الحين وادفع بعدين بأقساط شهرية ميسرة.عرض المزيد من التفاصيل
/cib-noon-credit-card
التوصيل 
بواسطة نوون
التوصيل بواسطة نوون
البائع ذو
 تقييم عالي
البائع ذو تقييم عالي
الدفع 
عند الاستلام
الدفع عند الاستلام
عملية 
تحويل آمنة
عملية تحويل آمنة
1
1 في عربة التسوق
أضف للعربة
Noon Locker
توصيل مجاني لنقطة نون ومراكز الاستلام
معرفة المزيد
free_returns
تقدر ترجّع المنتج بسهولة في العرض ده
(Original Copy - نسخه أصلية)
المنتج كما في الوصف
المنتج كما في الوصف
90%
شريك لنون منذ

شريك لنون منذ

5+ سنة
أحدث التقييمات الإيجابية
أحدث التقييمات الإيجابية
نظرة عامة
المواصفات
الناشرSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
رقم الكتاب المعياري الدولي 139783642402289
رقم الكتاب المعياري الدولي 103642402283
اللغةالإنجليزية
العنوان الفرعي للكتاب11th International Conference, Formats 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
وصف الكتابThis book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013. The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
تاريخ النشر1 February 2014
عدد الصفحات275

Formal Modeling And Analysis Of Timed Systems Paperback English - 1 February 2014

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