الناشر | Springer; Softcover Reprint of the Original 1st 1998 ed. edition |
رقم الكتاب المعياري الدولي 13 | 9781475752625 |
رقم الكتاب المعياري الدولي 10 | 1475752628 |
الكاتب | Stan Budkowski |
تنسيق الكتاب | Paperback |
اللغة | English |
وصف الكتاب | 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 |
تاريخ النشر | 5 March 2013 |
عدد الصفحات | 472 pages |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
المطبخ وأدوات الطعاممستلزمات السريرمستلزمات الحمامديكورات المنازلالأجهزة المنزليةالأدوات وتحسين المنزلمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطور النسائيةعطور الرجالالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجال