• usp_easy_retunsاسترجاع مجاني وسهل
  • usp_best_dealsأفضل العروض

Abstraction Refinement for Large Scale Model Checking

422.00
شامل ضريبة القيمة المضافة
nudge icon
توصيل مجاني
nudge icon
توصيل مجاني
noon-marketplace
احصل عليه خلال 24 - 25 يونيو
اطلب في غضون 9 ساعة 37 دقيقة
VIP ENBD Credit Card

التوصيل 
بواسطة نوون
التوصيل بواسطة نوون
البائع ذو
 تقييم عالي
البائع ذو تقييم عالي
الدفع 
عند الاستلام
الدفع عند الاستلام
عملية 
تحويل آمنة
عملية تحويل آمنة
نظرة عامة على المنتج
المواصفات
الناشرSpringer; 2006th edition
رقم الكتاب المعياري الدولي 139781489993953
رقم الكتاب المعياري الدولي 101489993959
الكاتبChao Wang
تنسيق الكتابPaperback
اللغةEnglish
وصف الكتابSymbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive Decomposition.- Far Side Image Computation.- Refining SAT Decision Ordering.- Conclusions.
تاريخ النشر6 December 2014
عدد الصفحات196 pages
مجموع السلة  422.00

نحن دائماً جاهزون لمساعدتك

تواصل معنا من خلال أي من قنوات الدعم التالية:

تسوق أينما كنت

App StoreGoogle PlayHuawei App Gallery

تواصل معنا

mastercardvisatabbytamaraamexcod