Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون مشاركون: FORTE 2001 Cheju-do, Korea, ebrary, Inc
مؤلفون آخرون: Kim, Myungchul
التنسيق: الكتروني وقائع المؤتمر كتاب الكتروني
اللغة:الإنجليزية
منشور في: New York : Kluwer Academic, c2001.
الموضوعات:
الوصول للمادة أونلاين:An electronic book accessible through the World Wide Web; click to view
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
الوصف
وصف مادي:xii, 458 p. : ill.
بيبلوغرافيا:Includes bibliographical references and index.