الناشر | Springer; Softcover Reprint of the Original 1st 1998 ed. edition |
رقم الكتاب المعياري الدولي 10 | 1475752628 |
تنسيق الكتاب | Paperback |
وصف الكتاب | Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art |
عدد الصفحات | 472 pages |
رقم الكتاب المعياري الدولي 13 | 9781475752625 |
الكاتب | Stan Budkowski |
اللغة | English |
تاريخ النشر | 5 March 2013 |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
مستلزمات الحمامديكورات المنازلالمطبخ وأدوات الطعامالأدوات وتحسين المنزلأجهزة الصوت والفيديوالأثاثمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطورالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجالمنتجات الرعاية الصحية