شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
Concur '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings by Walter R. Cleaveland - Paperback
612.15 درهم

Concur '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings by Walter R. Cleaveland - Paperback

كن أول من يقيِّم هذا المنتج 

612.15 درهم 

  - ستوفر -612.15 درهم
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
الشحن مجاني التفاصيل
رقم ال ISBN
9783540558224
الفئات
تكنولوجيا المعلومات
الكاتب
Walter R. Cleaveland
الناشر
Springer
الوصف:

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results ...

تشحن من الولايات المتحدة
اشحن الى دبي (تغيير المدينة)
التوصيل خلال الأربعاء ١١ يوليو - الجمعة ١٣ يوليو الي دبي

حالة السلعة:
جديدة
البائع:
InternationalBookStore (88% تقييم ايجابي)

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9783540558224
    الفئات
    تكنولوجيا المعلومات
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724436411459
    المؤلفين
    الكاتب
    Walter R. Cleaveland
    رقم ال ISBN
    9783540558224
    الفئات
    تكنولوجيا المعلومات
    اللغات
    الانجليزية
    الرقم المميز للسلعة
    2724436411459
    المؤلفين
    الكاتب
    Walter R. Cleaveland
    المؤلفين
    الناشر
    Springer
    معلومات تقنية
    غلاف الكتاب
    غلاف عادي
    اللغات والبلدان
    لغة الكتاب
    الانجليزية
    إقرأ المزيد
  •  

    الوصف:

    This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such

    This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

    خصائص المنتج:
    • الفئات: تكنولوجيا المعلومات
    • غلاف الكتاب: غلاف عادي
    • لغة الكتاب: الانجليزية
    • الكاتب: Walter R. Cleaveland
    • الناشر: Springer
    • رقم ال ISBN: 9783540558224
    • عدد الصفحات: 586
    • لأبعاد (الارتفاع*العرض*العمق): 9.21 x 6.14 x 1.21 inches
 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".