الناشر | Springer; Softcover reprint of the original 1st ed. 1997 edition |
رقم الكتاب المعياري الدولي 10 | 1475752601 |
تنسيق الكتاب | Paperback |
وصف الكتاب | FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers. |
عدد الصفحات | 570 pages |
رقم الكتاب المعياري الدولي 13 | 9781475752601 |
الكاتب | Atsushi Togashi |
اللغة | English |
تاريخ النشر | 11 January 2013 |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
المطبخ وأدوات الطعاممستلزمات السريرمستلزمات الحمامديكورات المنازلالأجهزة المنزليةالأدوات وتحسين المنزلمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطور النسائيةعطور الرجالالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجال