مكتبة جرير

Verifying Concurrent Processes Using Temporal Logic

كتاب مطبوع
367ر.س.
شامل ضريبة القيمة المضافة
وحدة البيع: EACH
22ر.س.شهرياً/24 شهر
المؤلف:Hailpern, B. T.
تاريخ النشر: 1982
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية
عدد الصفحات:220 Pages
الصيغة:غلاف ورقي
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء

الصيغ المتوفرة:

كتاب مطبوع

سيتم إرسال الطلب الى عنوانك

367ر.س.
شامل الضريبة

حدد خيار التوصيل الذي تفضله

أو

المواصفات

رقم الصنف9783540112051
رقم المصنع9783540112051
تاريخ النشر1982
عرض أكثر

أبلغ عن مشكلة مع هذا المنتج

مراجعات العملاء