رقم الصنف 9783540112051مرجع النشر 9783540112051
Verifying Concurrent Processes Using Temporal Logic
367ر.س.
شامل ضريبة القيمة المضافة
رقم الصنف 9783540112051مرجع النشر 9783540112051
المؤلف:Hailpern, B. T.
تاريخ النشر: 1982
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية
عدد الصفحات:220 Pages
الصيغة:غلاف ورقي