الناشر | Springer; 2006th edition |
رقم الكتاب المعياري الدولي 13 | 9781489993953 |
رقم الكتاب المعياري الدولي 10 | 1489993959 |
الكاتب | 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 |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
مستلزمات الحمامديكورات المنازلالمطبخ وأدوات الطعامالأدوات وتحسين المنزلأجهزة الصوت والفيديوالأثاثمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطورالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجالمنتجات الرعاية الصحية